Module `Int_set`

An implementation of compressed integer sets using lists of integer ranges. Operations such as adding and membership are O(n) where n is the number of contiguous ranges in the set. For data that is mostly serial, n should remain very small.

Note that when n gets very large, in addition to poor performance, these operations may throw exceptions since some of the code is not tail-recursive.

type t

val empty : t
val to_string : t -> string
val add_range : t -> int -> int -> t: add_range t i j adds all the numbers between i and j (inclusive) to the set. Note that it doesn't matter which order i and j are specified in; either way the effect is the same.

val add : t -> int -> t: add t i adds i to the set.

val mem : t -> int -> bool: mem t i tests whether i is a member of the set.

val ranges : t -> (int * int) list: ranges t returns a list of all ranges that make up the set.

val max : t -> int option
val min : t -> int option