Module Granular_set.Make

Parameters

Signature

type elt = Ord.t
type t
val empty : t
val add : elt -> t -> t
val is_empty : t -> bool
val mem : elt -> t -> bool
val singleton : elt -> t
val remove : elt -> t -> t
val filter : (elt -> bool) -> t -> t
val union : t -> t -> t
val map : (elt -> elt) -> t -> t
val iter : (elt -> unit) -> t -> unit
val cardinal : t -> int
val elements : t -> elt list
val fold : ('acc -> elt -> 'acc) -> 'acc -> t -> 'acc
val schema : Granular_marshal.iter -> (Granular_marshal.iter -> elt -> unit) -> t -> unit