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