package containers

A hashtable for keys of type key and values of type 'a

create d makes a new table that maps every key to d by default.

• parameter size

  optional size of the initial table

Similar to create d but here d is a function called to obtain a new default value for each distinct key. Useful if the default value is stateful.

Unfailing retrieval (possibly returns the default value). This will modify the table if the key wasn't present.

Replace the current binding for this key

Remove the binding for this key. If get tbl k is called later, the default value for the table will be returned

Pairs of (elem, value) for all elements on which get was called