| class TP_ITER_TBL |
|---|
| **** | Tables of bound iter types.
_ `get_query(TUP{ARRAY{ARG},ARRAY{BOOL},$TP}):TP_ITER' look up a type. `test(TP_ITER):BOOL' tests for a type. `insert(TP_ITER):SAME' inserts a type. `delete(TP_ITER):SAME' deletes a type. |
| elt_hash(e:TP_ITER):INT |
|---|
| **** | A hash value computed from the query types. |
| query_hash(q:TUP{ARRAY{ARG},ARRAY{BOOL},$TP}):INT |
|---|
| **** | A hash value computed from the query types. |
| query_test(q:TUP{ARRAY{ARG},ARRAY{BOOL},$TP}, t:TP_ITER):BOOL |
|---|
| **** | True if `t' is a bound iter with arg types, arg hotness and return type as listed in `q'. |