14.4.19  Hash_Key

The standard library Hash_Key api defines the argument type for the monomorphic_hash_table_g defined in src/lib/src/monomorphic-hash-table-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: Hash_Table api.

The above information is manually maintained and may contain errors.

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