387def sm86PredicatedInstruction =
388 (lambda unrestricted predicate : (family SM86Predicate) .
389 (lambda unrestricted body : (family SM86InstructionBody) .
390 (constructor
391 SM86Instruction
392 SM86InstructionValue
393 (constructor SM86InstructionGuard SM86InstructionWhen predicate)
394 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.