[
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
Fail Conditions
None
See Also
hash_remove / 3
,
hash_erase / 1