322def attentionHeadLayoutSM86Move =
323 (lambda unrestricted destination : Byte .
324 (lambda unrestricted value : (family SM86Unsigned32) .
325 (constructor
326 SM86InstructionBody
327 SM86MoveImmediate
328 (attentionHeadLayoutSM86R destination)
329 value
330 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.