503def sm86EncodeSpecialToRegister =
504 (lambda unrestricted guard : (family SM86InstructionGuard) .
505 (lambda unrestricted destination : (family SM86Register) .
506 (lambda unrestricted special : (family SM86SpecialRegister) .
507 (lambda unrestricted control : (family SM86Control) .
508 (sm86EncodeInstructionFields
509 sm86OpcodeSpecialToRegister
510 guard
511 control
512 (sm86InstructionPrependField
513 sm86InstructionNaturalSixteen
514 sm86InstructionNaturalEight
515 (sm86RegisterNatural destination)
516 (sm86InstructionOneField
517 sm86InstructionNaturalSeventyTwo
518 sm86InstructionNaturalEight
519 (sm86SpecialRegisterNatural special))))))))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.