Module Private.ISetSource

Set of integers

Sourcetype t
Sourcetype elt = int
Sourceval empty : t
Sourceval is_empty : t -> bool
Sourceval mem : int -> t -> bool
Sourceval add : int -> t -> t
Sourceval add_range : int -> int -> t -> t
Sourceval singleton : int -> t
Sourceval remove : int -> t -> t
Sourceval remove_range : int -> int -> t -> t
Sourceval union : t -> t -> t
Sourceval inter : t -> t -> t
Sourceval diff : t -> t -> t
Sourceval compl : t -> t
Sourceval compare : t -> t -> int
Sourceval equal : t -> t -> bool
Sourceval subset : t -> t -> bool
Sourceval from : int -> t -> t
Sourceval after : int -> t -> t
Sourceval until : int -> t -> t
Sourceval before : int -> t -> t
Sourceval iter : (int -> unit) -> t -> unit
Sourceval iter_range : (int -> int -> unit) -> t -> unit
Sourceval fold : (int -> 'a -> 'a) -> t -> 'a -> 'a
Sourceval fold_range : (int -> int -> 'a -> 'a) -> t -> 'a -> 'a
Sourceval for_all : (int -> bool) -> t -> bool
Sourceval exists : (int -> bool) -> t -> bool
Sourceval filter : (int -> bool) -> t -> t
Sourceval partition : (int -> bool) -> t -> t * t
Sourceval cardinal : t -> int
Sourceval elements : t -> int list
Sourceval ranges : t -> (int * int) list
Sourceval min_elt : t -> int
Sourceval max_elt : t -> int
Sourceval choose : t -> int