[ library(hash) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
hash_list(+Table, -Keys, -Values)
Retrieve the hash table contents
- Table
- A hash table
- Keys
- a variable or list
- Values
- variable or list
Description
Retrieve the hash table contents in the form of a list of Keys
and a list of Values. These lists are cached by the hash table
and only recomputed when the table has changed.