[ library(hash) | Reference Manual | Alphabetic Index ]

hash_delete(+Table, ++Key)

Remove the entry with key Key (if any)

Table: Hash table
Key: a ground term

Modes and Determinism

hash_delete(+, ++) is det

See Also

hash_remove / 3, hash_erase / 1