[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.4.6 General Object Tests

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> ; )



This document was generated by Carsten Dominik on May, 30 2005 using texi2html