Module Mergeable_vector

module Mergeable_vector: sig .. end

module type Vector = sig .. end

module type Mergeable_vector = sig .. end

module Make: 
functor (V : Vector) -> Mergeable_vector  with type atom = V.atom and type t = V.t

module String: sig .. end