Module Set_int

include Set_gen.S with type elt = int;
type elt = int;
type t;
let empty: t;
let is_empty: t => bool;
let iter: t => (elt => unit) => unit;
let fold: t => 'a => (elt => 'a => 'a) => 'a;
let for_all: t => (elt => bool) => bool;
let exists: t => (elt => bool) => bool;
let singleton: elt => t;
let cardinal: t => int;
let elements: t => list(elt);
let choose: t => elt;
let mem: t => elt => bool;
let add: t => elt => t;
let remove: t => elt => t;
let union: t => t => t;
let inter: t => t => t;
let diff: t => t => t;
let of_list: list(elt) => t;
let of_sorted_array: array(elt) => t;
let invariant: t => bool;
let print: Stdlib.Format.formatter => t => unit;