Package-level declarations

Primitive: Answer a map whose contents are determined by the argument tuple of key-value bindings, i.e. 2-element tuples.

Primitive: Answer a map with the given type constraints.

Primitive: Check if the key is present in the map.

Primitive: Look up the key in the map, answering the corresponding value.

Primitive: Answer the bindings of this map as a tuple of 2-tuples of key and value.

Primitive: Answer the keys of this map as a set.

Primitive: Replace the range of values in a tuple inside a top level map given a replacement tuple and a tuple of values to chart the path to get to the desired range to replace

Primitive: Answer a new map like the given map, but also including the binding between key and value. Overwrite any existing value if the key is already present.

Primitive: Replace the value at the location indicated by the path tuple of the target map with a new value.

Primitive: Answer the size of the map. This is the number of entries, which is also the number of keys.

Primitive: Answer the key type of a map type.

Primitive: Answer the size range of a map type. This specifies the range of sizes a map can have while being considered an instance of this map type, assuming the keys' types and values' types also agree with those specified in the map type.

Primitive: Answer the value type of a map type.

Primitive: Answer the values of this map as a tuple, arbitrarily ordered.

Primitive: Answer a new map, but without the given key. Answer the original map if the key does not occur in it.