| abstract class $HASH < $IS_EQ |
|---|
| **** | Subtypes of this must provide a hash routine. This is the *new* $HASH class and is a subtype of $IS_EQ so that all subtypes must redefine both hash and is_eq. These two routines must work together - is_eq must refer to an immutable equality |
| $IS_EQ |
| FLTD | INT | INTI | STR | TUP{_} | CHAR | TUP{_,_,_} | TUP{_,_,_,_} | DIEDGE{_} | FLT | UEDGE{_} | TUP{_,_} | FSTR |
| hash: INT; |
|---|