63E2F |
EQIT
|
( ob1 ob1 → :: <ob1> <rest> ; )
( ob1 ob2 → :: <ob2> <rest> ; )
|
63E75 |
EQITE
|
( ob1 ob1 → :: <ob1> <ob3> <rest> ; )
( ob1 ob2 → :: <ob2> <rest> ; )
|
63CD6 |
jEQcase
|
( ob1 ob1 → :: <ob1> ; )
( ob1 ob2 → :: <ob2> <rest> ; )
|
61933 |
EQcase
|
( ob1 ob1 → :: ob1 <ob1> ; )
( ob1 ob2 → :: ob1 <ob2> <rest> ; )
Note: Should be called OVEREQcase.
|
629D0 |
REQcase
|
( ob → :: ob <ob2> ; )
( ob → :: ob <ob3> <rest> ; )
EQcase with the next object in the
runstream.
|
618BA |
EQcasedrop
|
( ob1 ob1 → :: <ob1> ; )
( ob1 ob2 → :: ob1 <ob2> <rest> ; )
Note: should be called OVEREQcasedrop.
|
629E9 |
REQcasedrop
|
( ob → <ob2> ; )
( ob → <ob3> <rest> ; )
EQcasedrop with the next object in the
runstream.
|
63CFE |
EQUALcase
|
( ob1 ob1 → :: <ob1> ; )
( ob1 ob2 → :: <ob2> <rest> ; )
|
63DF3 |
EQUALNOTcase
|
( ob1 ob1 → :: <ob2> <rest> ; )
( ob1 ob2 → :: <ob1> ; )
|
63CA4 |
EQUALcasedrp
|
( ob ob1 ob2 → :: <ob1> ; )
( ob ob1 ob2 → :: ob <ob2> <rest> ; )
|
517FE |
EQUALcasedro
|
( ob1 ob2 → :: <ob1> ; )
( ob1 ob2 → :: ob1 <ob2> <rest> ; )
Note: should be called OVEREQUALcasedrp.
|
517F3 |
EQUALcasedrop
|
( ob1 ob2 → :: <ob1> ; )
( ob1 ob2 → :: ob1 <ob2> <rest> ; )
|
2856C |
tok=casedrop
|
( $ $' → :: <ob1> ; )
( $ $' → :: $ <ob2> <rest> ; )
Note: should be called OVERtok=casedrop.
|
5E984 |
nonopcase
|
( seco → :: seco <ob2> <rest> ; )
( ob → :: ob <ob1> ; )
|
5F0AA |
idntcase
|
( id → :: id <ob1> ; )
( ob → :: ob <ob2> <rest> ; )
|
63E07 |
dIDNTNcase
|
( id → :: id <ob2> <rest> ; )
( ob → :: ob <ob1> ; )
|
5F0CD |
idntlamcase
|
( id/lam → :: id <ob1> ; )
( ob → :: ob <ob2> <rest> ; )
|
63D8F |
REALcase
|
( % → :: <ob1> ; )
( ob → :: <ob2> <rest> ; )
|
63E1B |
dREALNcase
|
( % → :: % <ob2> <rest> ; )
( ob → :: ob <ob1> ; )
|
63DA3 |
dARRYcase
|
( [] → :: [] <ob1> ; )
( ob → :: ob <ob2> <rest> ; )
|
63DB7 |
dLISTcase
|
( {} → :: {} ob1 ; )
( ob → :: ob <ob2> <rest> ; )
|
27244 |
NOTLISTcase
|
( {} → :: {} <ob2> <rest> ; )
( ob → :: ob <ob1> ; )
|
18E45 |
(DNOTSYMB?SEMI)
|
( symb → :: symb <ob1> <rest> ; )
( ob → :: ob ; )
|
27254 |
NOTSECOcase
|
( seco → :: seco <ob2> <rest> ; )
( ob → :: ob <ob1> ; )
|
27264 |
NOTROMPcase
|
( romp → :: romp <ob2> <rest> ; )
( ob → :: ob <ob1> ; )
|
27224 |
(DNOTBAKcase)
|
( bak → :: bak <ob2> <rest> ; )
( ob → :: ob <ob1> ; )
|
27234 |
(DNOTLIBcase)
|
( lib → :: lib <ob2> <rest> ; )
( ob → :: ob <ob1> ; )
|
5EDFC |
numb1stcase
|
( %/C%/[]/[L] → :: <ob1> ; )
( ob → :: ob2 <rest> ; )
If %, C%, [ ] or [L] then <REF>COLA,
else <REF>SKIP .
|