Type representing a keyed table of values. T is the value type, and U the type of
the keys.
Declaration :
Artifact : Hash
Operation has_key |
Test for membership of a key
Declaration :
Operation item |
Return item for key a_key'. Equivalent to ISO 11404 fetch operation.
Declaration :