346def attentionHeadLayoutSM86Wide =
347 (lambda unrestricted destination : Byte .
348 (lambda unrestricted left : Byte .
349 (lambda unrestricted right : Byte .
350 (lambda unrestricted pointer : (family SM86Unsigned32) .
351 (constructor
352 SM86InstructionBody
353 SM86IntegerMultiplyAddWideConstant
354 (attentionHeadLayoutSM86R destination)
355 (attentionHeadLayoutSM86R left)
356 (attentionHeadLayoutSM86R right)
357 (byte 0)
358 pointer
359 sm86SafeControl)))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.