34AA1 |
?SEMI
|
( T → :: ; )
( F → :: <ob1> <rest> ; )
|
34A92 |
NOT?SEMI
|
( T → :: <ob1> <rest> ; )
( F → :: ; )
|
3692D |
?SEMIDROP
|
( ob T → :: ob ; )
( ob F → :: <ob1> <rest> ; )
|
34BD8 |
NOT?DROP
|
( ob T → :: ob <ob1> <rest> ; )
( ob F → :: <ob1> <rest> ; )
|
35F56 |
?SWAP
|
( ob1 ob2 T → :: ob2 ob1 <ob1> <rest> ; )
( ob1 ob2 F → :: ob1 ob2 <ob1> <rest> ; )
|
35DDA |
?SKIPSWAP
|
( ob1 ob2 T → :: ob1 ob2 <ob1> <rest> ; )
( ob1 ob2 F → :: ob2 ob1 <ob1> <rest> ; )
|
35F97 |
?SWAPDROP
|
( ob1 ob2 T → :: ob1 <ob1> <rest> ; )
( ob1 ob2 F → :: ob2 <ob1> <rest> ; )
|
35F7E |
NOT?SWAPDROP
|
( ob1 ob2 T → :: ob2 <ob1> <rest> ; )
( ob1 ob2 F → :: ob1 <ob1> <rest> ; )
|
070FD |
RPIT
|
( T ob → :: ob <ob1> <rest> ; )
( F ob → :: <ob1> <rest> ; )
ob is actually executed, and not pushed in
the stack.
|
070C3 |
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.
|
34AF4 |
COLARPITE
|
( T ob1 ob2 → :: ob1 ; )
( F ob1 ob2 → :: ob2 ; )
ob1 or ob2 is actually executed, and not
pushed in the stack.
|
34B4F |
2'RCOLARPITE
|
Return to composite and ITE there.
|
34A22 |
IT
|
( T → :: <ob1> <rest> ; )
( F → :: <ob2> <rest> ; )
|
0712A |
?SKIP
|
( T → :: <ob2> <rest> ; )
( F → :: <ob1> <rest> ; )
aka: NOT_IT
|
34B3E |
ITE
|
( T → :: <ob1> <ob3> <rest> ; )
( F → :: <ob2> <rest> ; )
|
36865 |
COLAITE
|
( T → :: <ob1> ; )
( F → :: <ob2> ; )
|
34ABE |
ITE_DROP
|
( ob T → :: <ob2> <rest> ; )
( ob F → :: ob <ob1> <rest> ; )
|
36EED |
ANDITE
|
( f1 f2 → :: <ob1> <ob3> <rest> ; )
( f1 f2 → :: <ob2> <rest> ; )
|
349F9 |
case
|
( T → :: <ob1> ; )
( F → :: <ob2> <rest> ; )
|
34A13 |
NOTcase
|
( T → :: <ob2> <rest> ; )
( F → :: <ob1> ; )
|
36D4E |
ANDcase
|
( f1 f2 → :: <ob1> ; )
( f1 f2 → :: <ob2> <rest> ; )
|
36E6B |
ANDNOTcase
|
( f1 f2 → :: <ob1> ; )
( f1 f2 → :: <ob2> <rest> ; )
|
359E3 |
ORcase
|
( f1 f2 → :: <ob1> ; )
( f1 f2 → :: <ob2> <rest> ; )
|
3495D |
casedrop
|
( ob T → :: <ob1> ; )
( ob F → :: ob <ob2> <rest> ; )
|
3494E |
NOTcasedrop
|
( ob T → :: ob <ob2> <rest> ; )
( ob F → :: <ob1> ; )
|
34985 |
case2drop
|
( ob1 ob2 T → :: <ob1> ; )
( ob1 ob2 F → :: ob1 ob2 <ob2> <rest> ; )
|
34976 |
NOTcase2drop
|
( ob1 ob2 T → :: ob1 ob2 <ob2> <rest> ; )
( ob1 ob2 F → :: <ob1> ; )
|
349B1 |
caseDROP
|
( ob T → :: ; )
( ob F → :: ob <ob1> <rest> ; )
|
349C6 |
NOTcaseDROP
|
( ob T → :: ob <ob1> <rest> ; )
( ob F → :: ; )
|
368FB |
casedrptru
|
( ob T → T )
( ob F → :: ob <ob1> <rest> ; )
Note: should be called caseDRPTRU.
|
365B3 |
casedrpfls
|
( ob T → F )
( ob F → :: ob <ob1> <rest> ; )
Note: should be called caseDRPFLS.
|
36B3A |
NOTcsdrpfls
|
( ob T → :: ob <ob1> <rest> ; )
( ob F → F )
Note: should be called NOTcaseDRPFLS.
|
349D6 |
case2DROP
|
( ob1 ob2 T → :: ; )
( ob1 ob2 F → :: ob1 ob2 <ob1> <rest> ; )
|
349EA |
NOTcase2DROP
|
( ob1 ob2 T → :: ob1 ob2 <ob1> <rest> ; )
( ob1 ob2 F → :: ; )
|
365CC |
case2drpfls
|
( ob1 ob2 T → F )
( ob1 ob2 F → :: ob1 ob2 <ob1> <rest> ; )
Note: should be called case2DRPFLS.
|
3652C |
caseTRUE
|
( T → T )
( F → :: <ob1> <rest> ; )
|
36914 |
NOTcaseTRUE
|
( T → :: <ob1> <rest> ; )
( F → T )
|
365E5 |
caseFALSE
|
( T → F )
( F → :: <ob1> <rest> ; )
|
2B2C5 |
NOTcaseFALSE
|
( T → :: <ob1> <rest> ; )
( F → F )
|
359AD |
COLAcase
|
( T → :: <ob1> ; )
( F → :: <ob2> <rest> ; )
Drops the rest of current stream and executes
case in the stream above.
|
359C8 |
COLANOTcase
|
( T → :: <ob2> <rest> ; )
( F → :: <ob1> ; )
Drops the rest of current stream and executes
NOTcase in the stream above.
|