8483A |
EQIT
|
( ob1 ob1 → :: <ob1> <rest> ; )
( ob1 ob2 → :: <ob2> <rest> ; )
|
84880 |
EQITE
|
( ob1 ob1 → :: <ob1> <ob3> <rest> ; )
( ob1 ob2 → :: <ob2> <rest> ; )
|
846E1 |
jEQcase
|
( ob1 ob1 → :: <ob1> ; )
( ob1 ob2 → :: <ob2> <rest> ; )
|
DE46C |
EQcase
|
( ob1 ob1 → :: ob1 <ob1> ; )
( ob1 ob2 → :: ob1 <ob2> <rest> ; )
Note: Should be called OVEREQcase.
|
8138D |
EQcasedrop
|
( ob1 ob1 → :: <ob1> ; )
( ob1 ob2 → :: ob1 <ob2> <rest> ; )
Note: should be called OVEREQcasedrop.
|
84709 |
EQUALcase
|
( ob1 ob1 → :: <ob1> ; )
( ob1 ob2 → :: <ob2> <rest> ; )
|
847FE |
EQUALNOTcase
|
( ob1 ob1 → :: <ob2> <rest> ; )
( ob1 ob2 → :: <ob1> ; )
|
846AF |
EQUALcasedrp
|
( ob ob1 ob2 → :: <ob1> ; )
( ob ob1 ob2 → :: ob <ob2> <rest> ; )
|
84812 |
dIDNTNcase
|
( id → :: id <ob2> <rest> ; )
( ob → :: ob <ob1> ; )
|
8479A |
REALcase
|
( % → :: <ob1> ; )
( ob → :: <ob2> <rest> ; )
|
84826 |
dREALNcase
|
( % → :: % <ob2> <rest> ; )
( ob → :: ob <ob1> ; )
|
847AE |
dARRYcase
|
( [] → :: [] <ob1> ; )
( ob → :: ob <ob2> <rest> ; )
|
847C2 |
dLISTcase
|
( {} → :: {} ob1 ; )
( ob → :: ob <ob2> <rest> ; )
|