Module Biocaml_unix.RSetSource

Efficient integer sets when many elements expected to be large contiguous sequences of integers.

Sourcetype t

Type of a set of integers.

Sourcetype range = Range.t
Sourceval empty : t

The empty set.

Sourceval of_range_list : (int * int) list -> t

Construct the set of integers representing the union of integers in all given ranges.

Sourceval to_range_list : t -> (int * int) list

Return set of integers as a minimal list of non-overlapping ranges in ascending order by their coordinates.

Sourceval to_list : t -> int list

Return set of integers as a list. Elements will be in ascending order.

Sourceval size : t -> int

Number of elements in set.

Sourceval is_empty : t -> bool

Return true if given set is empty.

Sourceval inter : t -> t -> t

Set intersection.

Sourceval union : t -> t -> t

Set union.

Sourceval diff : t -> t -> t

Set difference. diff s t is the set of elements that are in s but not in t.

Sourceval subset : t -> t -> bool

subset s t returns true if s is a subset of t.