[ 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
Fail Conditions
No entry for Key
See Also
hash_get / 3, hash_delete / 2, hash_erase / 1