[ library(hash) | The ECLiPSe Libraries | 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

See Also

hash_remove / 3, hash_erase / 1