106AA |
EQIT
|
( ob1 ob1 → :: <ob1> <rest> ; )
( ob1 ob2 → :: <ob2> <rest> ; )
|
106F0 |
EQITE
|
( ob1 ob1 → :: <ob1> <ob3> <rest> ; )
( ob1 ob2 → :: <ob2> <rest> ; )
|
10551 |
jEQcase
|
( ob1 ob1 → :: <ob1> ; )
( ob1 ob2 → :: <ob2> <rest> ; )
|
0D4FC |
EQcase
|
( ob1 ob1 → :: ob1 <ob1> ; )
( ob1 ob2 → :: ob1 <ob2> <rest> ; )
Note: Should be called OVEREQcase.
|
0D483 |
EQcasedrop
|
( ob1 ob1 → :: <ob1> ; )
( ob1 ob2 → :: ob1 <ob2> <rest> ; )
Note: should be called OVEREQcasedrop.
|
10579 |
EQUALcase
|
( ob1 ob1 → :: <ob1> ; )
( ob1 ob2 → :: <ob2> <rest> ; )
|
1066E |
EQUALNOTcase
|
( ob1 ob1 → :: <ob2> <rest> ; )
( ob1 ob2 → :: <ob1> ; )
|
1051F |
EQUALcasedrp
|
( ob ob1 ob2 → :: <ob1> ; )
( ob ob1 ob2 → :: ob <ob2> <rest> ; )
|
10682 |
dIDNTNcase
|
( id → :: id <ob2> <rest> ; )
( ob → :: ob <ob1> ; )
|
1060A |
REALcase
|
( % → :: <ob1> ; )
( ob → :: <ob2> <rest> ; )
|
10696 |
dREALNcase
|
( % → :: % <ob2> <rest> ; )
( ob → :: ob <ob1> ; )
|
1061E |
dARRYcase
|
( [] → :: [] <ob1> ; )
( ob → :: ob <ob2> <rest> ; )
|
10632 |
dLISTcase
|
( {} → :: {} ob1 ; )
( ob → :: ob <ob2> <rest> ; )
|