Module Base.Map

module type S = sig ... end
module Make (O : OrderedType) : S with type key = O.t