Up – Package index » crdt-ml » Library crdt_immutable » I_GSet

Module `I_GSet`

Grow-Only sets.

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

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

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