
hash_insert(+Table, ++Key, +Value)

   Add an entry with key Key and value Value to the hash table. Fail if an entry for Key already exists.

Arguments
   Table               A hash table
   Key                 a ground term
   Value               Any term

Type
   library(hash)

Modes and Determinism
   hash_insert(+, ++, +) is semidet

Fail Conditions
   Table already has an entry for Key

See Also
   hash_get / 3, hash_set / 3, hash_update / 4
