[ 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
- hash_delete(+, ++) is det
See Also
hash_remove / 3, hash_erase / 1