[ library(hash) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

hash_remove(+Table, ++Key, -Value)

Remove the entry with key Key and retrieve its value Value
Table
A hash table
Key
a ground term
Value
Any term

Modes and Determinism

Fail Conditions

No entry for Key

See Also

hash_get / 3, hash_delete / 2, hash_erase / 1