jon.recoil.org

Module Granular_set.MakeSource

Parameters

Signature

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