| 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 |
| hash: INT; |
|---|