The type of the set elements

An interval: a range (x, y) of set values where all the elements from x to y inclusive are in the set

The type of sets

Equality over sets

Comparison over sets

Pretty-print a set

The empty set

Test whether a set is empty or not

cardinal t is the number of elements in the set t

mem elt t tests whether elt is in set t

fold f t acc folds f across all the intervals in t

fold_individual f t acc folds f across all the individual elements of t

iter f t iterates f across all the intervals in t

add interval t returns the set consisting of t plus interval

remove interval t returns the set consisting of t minus interval

min_elt t returns the smallest (in terms of the ordering) interval in t, or raises Not_found if the set is empty.

max_elt t returns the largest (in terms of the ordering) interval in t, or raises Not_found if the set is empty.

choose t returns one interval, or raises Not_found if the set is empty

take n returns Some a, b where cardinal a = n and diff t a = b or None if cardinal t < n

set union

set difference

set intersection

find_next_gap from t returns the next element that's absent in set t and greater than or equal to from *