363def sm86PredicatedInstruction =
364 (lambda unrestricted predicate : (family SM86Predicate) .
365 (lambda unrestricted body : (family SM86InstructionBody) .
366 (constructor
367 SM86Instruction
368 SM86InstructionValue
369 (constructor SM86InstructionGuard SM86InstructionWhen predicate)
370 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.