14.4.26  Hash_Key

The standard library Hash_Key api defines the argument type for the typelocked_hashtable_g defined in src/lib/src/typelocked-hashtable-g.pkg.

The Hash_Key api is implemented by the bool package.

The Hash_Key api source code is in src/lib/src/hash-key.api.

See also: Hashtable api.

The above information is manually maintained and may contain errors.

api {
    hash_value : Hash_Key -> Unt;
    same_key : (Hash_Key , Hash_Key) -> Bool;};

Comments and suggestions to: