417def attentionHeadLayoutSM86FMA =
418 (lambda unrestricted destination : Byte .
419 (lambda unrestricted left : Byte .
420 (lambda unrestricted right : Byte .
421 (constructor
422 SM86InstructionBody
423 SM86FloatFusedMultiplyAdd
424 (attentionHeadLayoutSM86R destination)
425 (attentionHeadLayoutSM86R left)
426 (attentionHeadLayoutSM86R right)
427 (attentionHeadLayoutSM86R destination)
428 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.