Index of values

choose m is a binding of m (if any).

choose s is an element of s or None is s empty.

dom m is the domain of m.

dump pp_binding prints an unspecified represention of m on ppf using pp_binding to print the bindings.

dump pp_elt ppf s prints an unspecified representation of s on ppf using pp_elt to print elements.

find k m is the binding of k in m (if any).

find e s is the element of s equal to e (if any).

get k m is like Asetmap.Map.S.find but raises Invalid_argument if k is not bound in m.

get is like Asetmap.Set.S.find but

get_any_binding is like Asetmap.Map.S.choose but

get_any_elt is like Asetmap.Set.S.choose but

get_min_binding is like Asetmap.Map.S.max_binding but

get_max_elt is like Asetmap.Set.S.max_elt but

get_min_binding is like Asetmap.Map.S.min_binding but

get_min_elt is like Asetmap.Set.S.min_elt but

max_binding m is the greatest binding of m (if any).

max_elt s is the greatest element of s (if any).

min_binding m is the smallest binding of m (if any).

min_elt s is the smallest element of s (if any).

of_list l is the map holding the bindings of l.

of_list l is a set from the elements of l

pp ~sep pp_binding ppf m formats the bindings of m on ppf.

pp ~sep pp_elt ppf s formats the elements of s on ppf.

to_list m is the bindings of m in increasing key order.

to_list s is the elements of s in increasing order.