Up – Package index » crdt-ml » Library crdt_mutable » M_GSet

Module `M_GSet`

Grow-Only sets.

Supports add, lookup and merge operations. See Mutable_types.GSet

module Make
  (O : Mutable_types.Comparable) : 
  Mutable_types.GSet with type elt = O.t

Creates an grow-only set of elements satisfying Mutable_types.Comparable