1156def sm86EncodeMultiFunction =
1157 (lambda unrestricted guard : (family SM86InstructionGuard) .
1158 (lambda unrestricted destination : (family SM86Register) .
1159 (lambda unrestricted source : (family SM86Register) .
1160 (lambda unrestricted operation : (family SM86MultiFunction) .
1161 (lambda unrestricted control : (family SM86Control) .
1162 (sm86EncodeInstructionFields
1163 sm86OpcodeMultiFunctionUnitApproximation
1164 guard
1165 control
1166 (sm86InstructionPrependField
1167 sm86InstructionNaturalSixteen
1168 sm86InstructionNaturalEight
1169 (sm86RegisterNatural destination)
1170 (sm86InstructionPrependField
1171 sm86InstructionNaturalThirtyTwo
1172 sm86InstructionNaturalEight
1173 (sm86RegisterNatural source)
1174 (sm86InstructionOneField
1175 sm86InstructionNaturalSeventyTwo
1176 sm86InstructionNaturalEight
1177 (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.