482def sm86EncodeMoveImmediate =
483 (lambda unrestricted guard : (family SM86InstructionGuard) .
484 (lambda unrestricted destination : (family SM86Register) .
485 (lambda unrestricted immediate : (family SM86Unsigned32) .
486 (lambda unrestricted control : (family SM86Control) .
487 (sm86EncodeInstructionFields
488 sm86OpcodeMoveImmediate
489 guard
490 control
491 (sm86InstructionPrependField
492 sm86InstructionNaturalSixteen
493 sm86InstructionNaturalEight
494 (sm86RegisterNatural destination)
495 (sm86InstructionPrependWord32Field
496 sm86InstructionNaturalThirtyTwo
497 immediate
498 (sm86InstructionOneField
499 sm86InstructionNaturalSeventyTwo
500 sm86InstructionNaturalEight
501 (byte-to-nat (byte 15))))))))))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.