Functor M_GSet.Make

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

Parameters:

O : Mutable_types.Comparable

include Mutable_types.Mergeable

type elt

Type of the contents of GSet

val add : elt -> t -> unit

add el t adds el in-place to t.

val value : t -> elt list

value t gets the raw state of t.

val lookup : elt -> t -> bool

lookup el t returns true if el is in t.