0D604 |
?SEMI
|
( T → :: ; )
( F → :: <ob1> <rest> ; )
|
0D5F5 |
NOT?SEMI
|
( T → :: <ob1> <rest> ; )
( F → :: ; )
|
10164 |
?SEMIDROP
|
( ob T → :: ob ; )
( ob F → :: <ob1> <rest> ; )
|
0F7F5 |
?SWAP
|
( ob1 ob2 T → :: ob2 ob1 <ob1> <rest> ; )
( ob1 ob2 F → :: ob1 ob2 <ob1> <rest> ; )
|
0F679 |
?SKIPSWAP
|
( ob1 ob2 T → :: ob1 ob2 <ob1> <rest> ; )
( ob1 ob2 F → :: ob2 ob1 <ob1> <rest> ; )
|
0F836 |
?SWAPDROP
|
( ob1 ob2 T → :: ob1 <ob1> <rest> ; )
( ob1 ob2 F → :: ob2 <ob1> <rest> ; )
|
0F81D |
NOT?SWAPDROP
|
( ob1 ob2 T → :: ob2 <ob1> <rest> ; )
( ob1 ob2 F → :: ob1 <ob1> <rest> ; )
|
078D6 |
RPIT
|
( T ob → :: ob <ob1> <rest> ; )
( F ob → :: <ob1> <rest> ; )
ob is actually executed, and not pushed in
the stack.
|
0789C |
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.
|
0D657 |
COLARPITE
|
( T ob1 ob2 → :: ob1 ; )
( F ob1 ob2 → :: ob2 ; )
ob1 or ob2 is actually executed, and not
pushed in the stack.
|
0D6B2 |
2'RCOLARPITE
|
Return to composite and ITE there.
|
0D585 |
IT
|
( T → :: <ob1> <rest> ; )
( F → :: <ob2> <rest> ; )
|
07903 |
?SKIP
|
( T → :: <ob2> <rest> ; )
( F → :: <ob1> <rest> ; )
aka: NOT_IT
|
0D6A1 |
ITE
|
( T → :: <ob1> <ob3> <rest> ; )
( F → :: <ob2> <rest> ; )
|
0D621 |
ITE_DROP
|
( ob T → :: <ob2> <rest> ; )
( ob F → :: ob <ob1> <rest> ; )
|
106DC |
ANDITE
|
( f1 f2 → :: <ob1> <ob3> <rest> ; )
( f1 f2 → :: <ob2> <rest> ; )
|
0D55C |
case
|
( T → :: <ob1> ; )
( F → :: <ob2> <rest> ; )
|
0D576 |
NOTcase
|
( T → :: <ob2> <rest> ; )
( F → :: <ob1> ; )
|
10565 |
ANDcase
|
( f1 f2 → :: <ob1> ; )
( f1 f2 → :: <ob2> <rest> ; )
|
1065A |
ANDNOTcase
|
( f1 f2 → :: <ob1> ; )
( f1 f2 → :: <ob2> <rest> ; )
|
0E537 |
ORcase
|
( f1 f2 → :: <ob1> ; )
( f1 f2 → :: <ob2> <rest> ; )
|
0D4C0 |
casedrop
|
( ob T → :: <ob1> ; )
( ob F → :: ob <ob2> <rest> ; )
|
0D4B1 |
NOTcasedrop
|
( ob T → :: ob <ob2> <rest> ; )
( ob F → :: <ob1> ; )
|
0D4E8 |
case2drop
|
( ob1 ob2 T → :: <ob1> ; )
( ob1 ob2 F → :: ob1 ob2 <ob2> <rest> ; )
|
0D4D9 |
NOTcase2drop
|
( ob1 ob2 T → :: ob1 ob2 <ob2> <rest> ; )
( ob1 ob2 F → :: <ob1> ; )
|
0D514 |
caseDROP
|
( ob T → :: ; )
( ob F → :: ob <ob1> <rest> ; )
|
0D529 |
NOTcaseDROP
|
( ob T → :: ob <ob1> <rest> ; )
( ob F → :: ; )
|
10119 |
casedrptru
|
( ob T → T )
( ob F → :: ob <ob1> <rest> ; )
Note: should be called caseDRPTRU.
|
0FE62 |
casedrpfls
|
( ob T → F )
( ob F → :: ob <ob1> <rest> ; )
Note: should be called caseDRPFLS.
|
10380 |
NOTcsdrpfls
|
( ob T → :: ob <ob1> <rest> ; )
( ob F → F )
Note: should be called NOTcaseDRPFLS.
|
0D539 |
case2DROP
|
( ob1 ob2 T → :: ; )
( ob1 ob2 F → :: ob1 ob2 <ob1> <rest> ; )
|
0D54D |
NOTcase2DROP
|
( ob1 ob2 T → :: ob1 ob2 <ob1> <rest> ; )
( ob1 ob2 F → :: ; )
|
0FE7B |
case2drpfls
|
( ob1 ob2 T → F )
( ob1 ob2 F → :: ob1 ob2 <ob1> <rest> ; )
Note: should be called case2DRPFLS.
|
0FDDB |
caseTRUE
|
( T → T )
( F → :: <ob1> <rest> ; )
|
10132 |
NOTcaseTRUE
|
( T → :: <ob1> <rest> ; )
( F → T )
|
0FE94 |
caseFALSE
|
( T → F )
( F → :: <ob1> <rest> ; )
|
1014B |
NOTcaseFALSE
|
( T → :: <ob1> <rest> ; )
( F → F )
|
0E501 |
COLAcase
|
( T → :: <ob1> ; )
( F → :: <ob2> <rest> ; )
Drops the rest of current stream and executes
case in the stream above.
|