740def sm86HeaderGuard =
741 (lambda unrestricted guard : (family SM86InstructionGuard) .
742 (eliminate
743 SM86InstructionGuard
744 (lambda unrestricted current : (family SM86InstructionGuard) . (family SM86HeaderGuard))
745 guard
746 (branch
747 SM86InstructionAlways
748 .
749 (constructor SM86HeaderGuard SM86HeaderGuardValue (byte-to-nat (byte 7)) zero))
750 (branch
751 SM86InstructionWhen
752 predicate
753 .
754 (constructor
755 SM86HeaderGuard
756 SM86HeaderGuardValue
757 (byte-to-nat (sm86PredicateNumber predicate))
758 zero))
759 (branch
760 SM86InstructionWhenNot
761 predicate
762 .
763 (constructor
764 SM86HeaderGuard
765 SM86HeaderGuardValue
766 (byte-to-nat (sm86PredicateNumber predicate))
767 (succ zero)))))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.