abstract class $IS_EQ
****
Subtypes of this define "is_eq:BOOL". Typically used in typecases to use instead of "=". Examples: INT < $IS_EQ, STR < $IS_EQ. NOTE:
___This_equality_should_be_an_IMMUTABLE_equality_that_is_valid
___over_the_lifetime_of_the_whole_object._It_should_be_possible
___to_use_this_equality_(and_an_associated_hash_value)_to_
___place_an_object_in_a_hash_table_and_then_later_retrieve_it.


Descendants
BOOL $NFE{_} $CPX_NUMBER{_,_} CPX{_}
CPX CPXD $NUMBER{_} $REAL_NUMBER{_}
FLTD FLT INT $HASH
FSTR PERM SL2P CHAR
STR TUP{_,_,_,_} INTI TUP{_,_}
$VBAG{_} $VSET{_} VSET{_} $VMULTIMAP{_,_}
$VMAP{_,_} VMAP{_,_} VMULTIMAP{_,_} VBAG{_}
FINITE_FIELD $IS_LT{_} RAT POLYM_RAT
POLYM_INTI POLYS_INTI PQMIN{_} POLYS_FP
POLYS_RAT



Public


Features
is_eq(e:$OB):BOOL;
**** True if self is equal arg for this element type.

The Sather Home Page