
hash_delete(+Table, ++Key)

   Remove the entry with key Key (if any)

Arguments
   Table               Hash table
   Key                 a ground term

Type
   library(hash)

Modes and Determinism
   hash_delete(+, ++) is det

See Also
   hash_remove / 3, hash_erase / 1
