396def sm86NegatedPredicatedInstruction =
397 (lambda unrestricted predicate : (family SM86Predicate) .
398 (lambda unrestricted body : (family SM86InstructionBody) .
399 (constructor
400 SM86Instruction
401 SM86InstructionValue
402 (constructor SM86InstructionGuard SM86InstructionWhenNot predicate)
403 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.