This is part of the standard library for Delm.
Mapping type.
singleton : comparable -> value -> value -> Mapping comparable value
Creates a mapping with a single key-value pair.
empty : value -> Mapping comparable value
Creates an empty mapping.
insert : comparable -> value -> Mapping comparable value -> Mapping comparable value
Inserts a key-value pair into a mapping.
remove : comparable -> Mapping comparable value -> Mapping comparable value
Removes a key-value pair from a mapping.
get : comparable -> Mapping comparable value -> value
Gets a value from a mapping.