an instruction unpredicated (0), on P1 (1) or on P0 (2)
953def sfpOp = (lambda unrestricted guard : Nat . (lambda unrestricted body : (family SM86InstructionBody) .
954 (lambda unrestricted tail : (family SM86Program) .
955 (nat-eliminate (lambda unrestricted n : Nat . (family SM86Program))
956 (saOp body tail)
957 (lambda unrestricted p : Nat . (lambda unrestricted ignored : (family SM86Program) .
958 (nat-eliminate (lambda unrestricted m : Nat . (family SM86Program))
959 (saWhen saP1 body tail)
960 (lambda unrestricted q : Nat . (lambda unrestricted ignored2 : (family SM86Program) . (saWhen saP0 body tail)))
961 p)))
962 guard))))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.