385def attentionHeadLayoutSM86Multiply =
386 (lambda unrestricted destination : Byte .
387 (lambda unrestricted left : Byte .
388 (lambda unrestricted right : Byte .
389 (lambda unrestricted control : (family SM86Control) .
390 (constructor
391 SM86InstructionBody
392 SM86FloatMultiply
393 (attentionHeadLayoutSM86R destination)
394 (attentionHeadLayoutSM86R left)
395 (attentionHeadLayoutSM86R right)
396 control)))))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.