| immutable class TUP{T1,T2} < $HASH, $STR |
|---|
| $STR | $HASH | $IS_EQ | COMPARE{_} |
| attr t1:T1; |
|---|
| attr t2:T2; |
|---|
| attr t1:T1; |
|---|
| attr t2:T2; |
|---|
| create(at1:T1, at2:T2):SAME |
|---|
| hash:INT |
|---|
| **** | A simple hash value computed from the hash values of the components. For this to work, these must either be value types which define hash values or reference types. |
| is_eq(e:SAME):BOOL |
|---|
| **** | True if the components of self and `e' are equal. |
| str: STR |
|---|