| class TP_CLASS_TBL |
|---|
| **** | Table of types defined by classes: abstract, reference, immutable, and external types.
_ `get_query(TUP{IDENT,ARRAY{$TP}}):TP_CLASS' looks up a type. `test(TP_CLASS):BOOL' tests for a type. `insert(TP_CLASS):SAME' inserts a type. `delete(TP_CLASS):SAME' deletes a type. |
| elt_hash(e:TP_CLASS):INT |
|---|
| **** | Hash on the types in `e'. |
| query_hash(q:TUP{IDENT,ARRAY{$TP}}):INT |
|---|
| **** | A hash value computed from the query types. |
| query_test(q:TUP{IDENT,ARRAY{$TP}}, t:TP_CLASS):BOOL |
|---|
| **** | True if `t' is the type described by `q'. |