sig
  type t
  val make : unit -> t
  val merge : t -> t -> unit
  type elt
  val add : Mutable_types.GSet.elt -> t -> unit
  val value : t -> Mutable_types.GSet.elt list
  val lookup : Mutable_types.GSet.elt -> t -> bool
end