sig
  type t
  val make : unit -> Mutable_types.Mergeable.t
  val merge : Mutable_types.Mergeable.t -> Mutable_types.Mergeable.t -> unit
end