1688def sm86EncodeExit =
1689 (lambda unrestricted guard : (family SM86InstructionGuard) .
1690 (lambda unrestricted control : (family SM86Control) .
1691 (sm86EncodeInstructionFields
1692 sm86OpcodeExit
1693 guard
1694 control
1695 (sm86InstructionOneWord32Field
1696 sm86InstructionNaturalSixtyFour
1697 (constructor SM86Unsigned32 SM86Unsigned32Value (byte 0) (byte 0) (byte 128) (byte 3))))))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.