61A3B |
?SEMI
|
( T → :: ; )
( F → :: <ob1> <rest> ; )
|
61A2C |
NOT?SEMI
|
( T → :: <ob1> <rest> ; )
( F → :: ; )
|
638E4 |
?SEMIDROP
|
( ob T → :: ob ; )
( ob F → :: <ob1> <rest> ; )
|
61B72 |
NOT?DROP
|
( ob T → :: ob <ob1> <rest> ; )
( ob F → :: <ob1> <rest> ; )
|
62F1B |
?SWAP
|
( ob1 ob2 T → :: ob2 ob1 <ob1> <rest> ; )
( ob1 ob2 F → :: ob1 ob2 <ob1> <rest> ; )
|
62D9F |
?SKIPSWAP
|
( ob1 ob2 T → :: ob1 ob2 <ob1> <rest> ; )
( ob1 ob2 F → :: ob2 ob1 <ob1> <rest> ; )
|
62F5C |
?SWAPDROP
|
( ob1 ob2 T → :: ob1 <ob1> <rest> ; )
( ob1 ob2 F → :: ob2 <ob1> <rest> ; )
|
62F43 |
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.
|
61A8E |
COLARPITE
|
( T ob1 ob2 → :: ob1 ; )
( F ob1 ob2 → :: ob2 ; )
ob1 or ob2 is actually executed, and not
pushed in the stack.
|
61AE9 |
2'RCOLARPITE
|
Return to composite and ITE there.
|
619BC |
IT
|
( T → :: <ob1> <rest> ; )
( F → :: <ob2> <rest> ; )
|
0712A |
?SKIP
|
( T → :: <ob2> <rest> ; )
( F → :: <ob1> <rest> ; )
aka: NOT_IT
|
61AD8 |
ITE
|
( T → :: <ob1> <ob3> <rest> ; )
( F → :: <ob2> <rest> ; )
|
6381C |
COLAITE
|
( T → :: <ob1> ; )
( F → :: <ob2> ; )
|
61A58 |
ITE_DROP
|
( ob T → :: <ob2> <rest> ; )
( ob F → :: ob <ob1> <rest> ; )
|
63E61 |
ANDITE
|
( f1 f2 → :: <ob1> <ob3> <rest> ; )
( f1 f2 → :: <ob2> <rest> ; )
|
61993 |
case
|
( T → :: <ob1> ; )
( F → :: <ob2> <rest> ; )
|
619AD |
NOTcase
|
( T → :: <ob2> <rest> ; )
( F → :: <ob1> ; )
|
63CEA |
ANDcase
|
( f1 f2 → :: <ob1> ; )
( f1 f2 → :: <ob2> <rest> ; )
|
63DDF |
ANDNOTcase
|
( f1 f2 → :: <ob1> ; )
( f1 f2 → :: <ob2> <rest> ; )
|
629BC |
ORcase
|
( f1 f2 → :: <ob1> ; )
( f1 f2 → :: <ob2> <rest> ; )
|
618F7 |
casedrop
|
( ob T → :: <ob1> ; )
( ob F → :: ob <ob2> <rest> ; )
|
618E8 |
NOTcasedrop
|
( ob T → :: ob <ob2> <rest> ; )
( ob F → :: <ob1> ; )
|
6191F |
case2drop
|
( ob1 ob2 T → :: <ob1> ; )
( ob1 ob2 F → :: ob1 ob2 <ob2> <rest> ; )
|
61910 |
NOTcase2drop
|
( ob1 ob2 T → :: ob1 ob2 <ob2> <rest> ; )
( ob1 ob2 F → :: <ob1> ; )
|
6194B |
caseDROP
|
( ob T → :: ; )
( ob F → :: ob <ob1> <rest> ; )
|
61960 |
NOTcaseDROP
|
( ob T → :: ob <ob1> <rest> ; )
( ob F → :: ; )
|
638B2 |
casedrptru
|
( ob T → T )
( ob F → :: ob <ob1> <rest> ; )
Note: should be called caseDRPTRU.
|
6356A |
casedrpfls
|
( ob T → F )
( ob F → :: ob <ob1> <rest> ; )
Note: should be called caseDRPFLS.
|
63AEC |
NOTcsdrpfls
|
( ob T → :: ob <ob1> <rest> ; )
( ob F → F )
Note: should be called NOTcaseDRPFLS.
|
61970 |
case2DROP
|
( ob1 ob2 T → :: ; )
( ob1 ob2 F → :: ob1 ob2 <ob1> <rest> ; )
|
61984 |
NOTcase2DROP
|
( ob1 ob2 T → :: ob1 ob2 <ob1> <rest> ; )
( ob1 ob2 F → :: ; )
|
63583 |
case2drpfls
|
( ob1 ob2 T → F )
( ob1 ob2 F → :: ob1 ob2 <ob1> <rest> ; )
Note: should be called case2DRPFLS.
|
634E3 |
caseTRUE
|
( T → T )
( F → :: <ob1> <rest> ; )
|
638CB |
NOTcaseTRUE
|
( T → :: <ob1> <rest> ; )
( F → T )
|
6359C |
caseFALSE
|
( T → F )
( F → :: <ob1> <rest> ; )
|
5FB49 |
NOTcaseFALSE
|
( T → :: <ob1> <rest> ; )
( F → F )
|
62986 |
COLAcase
|
( T → :: <ob1> ; )
( F → :: <ob2> <rest> ; )
Drops the rest of current stream and executes
case in the stream above.
|
629A1 |
COLANOTcase
|
( T → :: <ob2> <rest> ; )
( F → :: <ob1> ; )
Drops the rest of current stream and executes
NOTcase in the stream above.
|