Module type Immutable_types.GSet

module type GSet = sig .. end

Grow-Only set type. Supports merging, adding and lookup operations.

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.