Key type

get dict key returns None if the key is not found in the dictionary, Some value otherwise

set dict key value sets the key/value in dict

keys dict returns all the keys in the dictionary dict

empty () returns an empty dictionary

Experimental internal function

entries dict returns the key value pairs in dict

values dict returns the values in dict

fromList entries creates a new dictionary containing each (key, value) pair in entries

fromArray entries creates a new dictionary containing each (key, value) pair in entries

map f dict maps dict to a new dictionary with the same keys, using f to map each value