Output signature of the functor FSet.Make.
val size : 'a t -> intReturns the size of the domain of a map.
equal cmp m1 m2 tests whether the maps m1 and m2 are equal. Two maps are equal if they have equal domains and map each domain element to equal values, where the values are compared using cmp.
compare cmp returns a total ordering on maps using cmp to compare values.
val empty : 'a tThe empty map.
add x y m returns a map that maps x to y and all other elements to the values they are mapped to by m.
remove x m returns a map that is undefined at x and maps all other elements to the values they are mapped to by m.
iter f m applies f to all pairs x and y, where (x, y) is an element of m. The elements of m are processed in increasing domain order.
fold f m a returns (f xn yn ... (f x2 y2 (f x1 y1 a)) ... ), where (x1, y1), ..., (xn, yn) are the elements of m in increasing domain order.
fold f m a returns (f x1 y1 (f x2 y2 ... (f xn yn a)) ... ), where (x1, y1), ..., (xn, yn) are the elements of m in increasing domain order.
map f m returns a map that has the same domain as m and maps all elements x in its domain to f (find x m).
mapi f m returns a map that has the same domain as m and maps all elements x in its domain to f x (find x m).
val is_empty : 'a t -> boolTests whether a map has an empty domain.
for_all p m returns true if p x y = true for all elements (x, y) of m, and false otherwise.
for_all p m returns true if p x y = true some element (x, y) of m, and false otherwise.
is_defined x m tests whether m is defined at x (the same as mem).
Returns an association list containing all element of the map in increasing order of the domain elements.