package qcow

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

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_s 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

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