457def sm86PredicatedInstruction =
458 (lambda unrestricted predicate : (family SM86Predicate) .
459 (lambda unrestricted body : (family SM86InstructionBody) .
460 (constructor
461 SM86Instruction
462 SM86InstructionValue
463 (constructor SM86InstructionGuard SM86InstructionWhen predicate)
464 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.