[ library(hash) | 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
- hash_remove(+, ++, -) is semidet
Fail Conditions
No entry for Key
See Also
hash_get / 3, hash_delete / 2, hash_erase / 1