| class IDENT_TBL |
|---|
| **** | A table mapping strings to identifiers. get_query(s:STR):IDENT to get identifier if present. insert(i:IDENT):SAME to add a new identifier. |
| elt_hash(i:IDENT):INT |
|---|
| **** | Hash value for the identifier `i'. |
| query_hash(s:STR):INT |
|---|
| **** | Hash value for the string `s'. |
| query_test(s:STR, i:IDENT):BOOL |
|---|
| **** | True if `i' represents `s'. |