451def sm86EncodeMoveConstant =
452 (lambda unrestricted guard : (family SM86InstructionGuard) .
453 (lambda unrestricted destination : (family SM86Register) .
454 (lambda unrestricted bank : Byte .
455 (lambda unrestricted offset : (family SM86Unsigned32) .
456 (lambda unrestricted control : (family SM86Control) .
457 (sm86EncodeInstructionFields
458 sm86OpcodeMoveConstant
459 guard
460 control
461 (sm86InstructionPrependField
462 sm86InstructionNaturalSixteen
463 sm86InstructionNaturalEight
464 (sm86RegisterNatural destination)
465 (sm86InstructionPrependField
466 sm86InstructionNaturalThirtyEight
467 sm86InstructionNaturalSixteen
468 (sm86Unsigned32Natural offset)
469 (sm86InstructionPrependField
470 sm86InstructionNaturalFiftyFour
471 sm86InstructionNaturalFive
472 (byte-to-nat bank)
473 (sm86InstructionPrependField
474 sm86InstructionNaturalSixtyFour
475 sm86InstructionNaturalEight
476 zero
477 (sm86InstructionOneField
478 sm86InstructionNaturalSeventyTwo
479 sm86InstructionNaturalEight
480 (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.