200def sm86InstructionBodyOf =
201 (lambda unrestricted instruction : (family SM86Instruction) .
202 (eliminate SM86Instruction (lambda unrestricted current : (family SM86Instruction) . (family SM86InstructionBody)) instruction
203 (branch SM86InstructionValue guard body . body)))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.