Up  

Functor I_GSet.Make

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
Parameters:
O : Immutable_types.Comparable 
include Immutable_types.Mergeable
type elt
Type of the contents of GSet
val add : elt -> t -> t
add el t adds el 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.