Module type `Set_gen.S`

type elt;

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;