package orsetto

The abstract type of a map.

A distinguished empty map.

Use empty m to test if m is an empty map.

Use of_seq s to make a map by consuming the unordered sequence of domain and co-domain values s.

Use member k m to test whether k is in the domain of m.

Use search k m to find the co-domain Some v of k in m. Returns None if k is not in the domain of m.

Use require k m to find the co-domain of k in m. Raises Not_found if k is not in the domain of m.

Unsafe interfaces depend on the internal structure of maps.