1106def sm86EncodeMultiFunction =
1107 (lambda unrestricted guard : (family SM86InstructionGuard) .
1108 (lambda unrestricted destination : (family SM86Register) .
1109 (lambda unrestricted source : (family SM86Register) .
1110 (lambda unrestricted operation : (family SM86MultiFunction) .
1111 (lambda unrestricted control : (family SM86Control) .
1112 (sm86EncodeInstructionFields
1113 sm86OpcodeMultiFunctionUnitApproximation
1114 guard
1115 control
1116 (sm86InstructionPrependField
1117 sm86InstructionNaturalSixteen
1118 sm86InstructionNaturalEight
1119 (sm86RegisterNatural destination)
1120 (sm86InstructionPrependField
1121 sm86InstructionNaturalThirtyTwo
1122 sm86InstructionNaturalEight
1123 (sm86RegisterNatural source)
1124 (sm86InstructionOneField
1125 sm86InstructionNaturalSeventyTwo
1126 sm86InstructionNaturalEight
1127 (byte-to-nat (sm86MultiFunctionSelector operation)))))))))))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.