sig
  module Make :
    functor (O : Mutable_types.Comparable) ->
      sig
        type t
        val make : unit -> t
        val merge : t -> t -> unit
        type elt = O.t
        val add : elt -> t -> unit
        val value : t -> elt list
        val lookup : elt -> t -> bool
      end
end