813D3 |
?SEMI
|
( T → :: ; )
( F → :: <ob1> <rest> ; )
|
81414 |
NOT?SEMI
|
( T → :: <ob1> <rest> ; )
( F → :: ; )
|
842EF |
?SEMIDROP
|
( ob T → :: ob ; )
( ob F → :: <ob1> <rest> ; )
|
8398A |
?SWAP
|
( ob1 ob2 T → :: ob2 ob1 <ob1> <rest> ; )
( ob1 ob2 F → :: ob1 ob2 <ob1> <rest> ; )
|
8380E |
?SKIPSWAP
|
( ob1 ob2 T → :: ob1 ob2 <ob1> <rest> ; )
( ob1 ob2 F → :: ob2 ob1 <ob1> <rest> ; )
|
839CB |
?SWAPDROP
|
( ob1 ob2 T → :: ob1 <ob1> <rest> ; )
( ob1 ob2 F → :: ob2 <ob1> <rest> ; )
|
839B2 |
NOT?SWAPDROP
|
( ob1 ob2 T → :: ob2 <ob1> <rest> ; )
( ob1 ob2 F → :: ob1 <ob1> <rest> ; )
|
817A2 |
RPIT
|
( T ob → :: ob <ob1> <rest> ; )
( F ob → :: <ob1> <rest> ; )
ob is actually executed, and not pushed in
the stack.
|
817A7 |
RPITE
|
( T ob1 ob2 → :: ob1 <ob1> <rest> ; )
( F ob1 ob2 → ob2 <ob1> <rest> ; )
ob1 or ob2 is actually executed, and not
pushed in the stack.
|
813FB |
COLARPITE
|
( T ob1 ob2 → :: ob1 ; )
( F ob1 ob2 → :: ob2 ; )
ob1 or ob2 is actually executed, and not
pushed in the stack.
|
DE622 |
2'RCOLARPITE
|
Return to composite and ITE there.
|
81405 |
IT
|
( T → :: <ob1> <rest> ; )
( F → :: <ob2> <rest> ; )
|
8173E |
?SKIP
|
( T → :: <ob2> <rest> ; )
( F → :: <ob1> <rest> ; )
aka: NOT_IT
|
8140A |
ITE
|
( T → :: <ob1> <ob3> <rest> ; )
( F → :: <ob2> <rest> ; )
|
8140F |
ITE_DROP
|
( ob T → :: <ob2> <rest> ; )
( ob F → :: ob <ob1> <rest> ; )
|
8486C |
ANDITE
|
( f1 f2 → :: <ob1> <ob3> <rest> ; )
( f1 f2 → :: <ob2> <rest> ; )
|
813D8 |
case
|
( T → :: <ob1> ; )
( F → :: <ob2> <rest> ; )
|
81419 |
NOTcase
|
( T → :: <ob2> <rest> ; )
( F → :: <ob1> ; )
|
846F5 |
ANDcase
|
( f1 f2 → :: <ob1> ; )
( f1 f2 → :: <ob2> <rest> ; )
|
847EA |
ANDNOTcase
|
( f1 f2 → :: <ob1> ; )
( f1 f2 → :: <ob2> <rest> ; )
|
81FD1 |
ORcase
|
( f1 f2 → :: <ob1> ; )
( f1 f2 → :: <ob2> <rest> ; )
|
813EC |
casedrop
|
( ob T → :: <ob1> ; )
( ob F → :: ob <ob2> <rest> ; )
|
8142D |
NOTcasedrop
|
( ob T → :: ob <ob2> <rest> ; )
( ob F → :: <ob1> ; )
|
813E2 |
case2drop
|
( ob1 ob2 T → :: <ob1> ; )
( ob1 ob2 F → :: ob1 ob2 <ob2> <rest> ; )
|
81423 |
NOTcase2drop
|
( ob1 ob2 T → :: ob1 ob2 <ob2> <rest> ; )
( ob1 ob2 F → :: <ob1> ; )
|
813E7 |
caseDROP
|
( ob T → :: ; )
( ob F → :: ob <ob1> <rest> ; )
|
81428 |
NOTcaseDROP
|
( ob T → :: ob <ob1> <rest> ; )
( ob F → :: ; )
|
842A4 |
casedrptru
|
( ob T → T )
( ob F → :: ob <ob1> <rest> ; )
Note: should be called caseDRPTRU.
|
83FD9 |
casedrpfls
|
( ob T → F )
( ob F → :: ob <ob1> <rest> ; )
Note: should be called caseDRPFLS.
|
844F7 |
NOTcsdrpfls
|
( ob T → :: ob <ob1> <rest> ; )
( ob F → F )
Note: should be called NOTcaseDRPFLS.
|
813DD |
case2DROP
|
( ob1 ob2 T → :: ; )
( ob1 ob2 F → :: ob1 ob2 <ob1> <rest> ; )
|
8141E |
NOTcase2DROP
|
( ob1 ob2 T → :: ob1 ob2 <ob1> <rest> ; )
( ob1 ob2 F → :: ; )
|
83FF2 |
case2drpfls
|
( ob1 ob2 T → F )
( ob1 ob2 F → :: ob1 ob2 <ob1> <rest> ; )
Note: should be called case2DRPFLS.
|
83F52 |
caseTRUE
|
( T → T )
( F → :: <ob1> <rest> ; )
|
842BD |
NOTcaseTRUE
|
( T → :: <ob1> <rest> ; )
( F → T )
|
8400B |
caseFALSE
|
( T → F )
( F → :: <ob1> <rest> ; )
|
842D6 |
NOTcaseFALSE
|
( T → :: <ob1> <rest> ; )
( F → F )
|
81400 |
COLAcase
|
( T → :: <ob1> ; )
( F → :: <ob2> <rest> ; )
Drops the rest of current stream and executes
case in the stream above.
|