Class Hash

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 :

All public operations : has_key , item