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

hash_remove(+Table,+Key,-Value)

Remove an entry with key Key and value Value from the hash table