1236def sm86EncodeMultiFunction =
1237 (lambda unrestricted guard : (family SM86InstructionGuard) .
1238 (lambda unrestricted destination : (family SM86Register) .
1239 (lambda unrestricted source : (family SM86Register) .
1240 (lambda unrestricted operation : (family SM86MultiFunction) .
1241 (lambda unrestricted control : (family SM86Control) .
1242 (sm86EncodeInstructionFields
1243 sm86OpcodeMultiFunctionUnitApproximation
1244 guard
1245 control
1246 (sm86InstructionPrependField
1247 sm86InstructionNaturalSixteen
1248 sm86InstructionNaturalEight
1249 (sm86RegisterNatural destination)
1250 (sm86InstructionPrependField
1251 sm86InstructionNaturalThirtyTwo
1252 sm86InstructionNaturalEight
1253 (sm86RegisterNatural source)
1254 (sm86InstructionOneField
1255 sm86InstructionNaturalSeventyTwo
1256 sm86InstructionNaturalEight
1257 (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.