module Map: sig .. end
sig
end
module type OrderedType = Map.OrderedType
Map.OrderedType
module type S = sig .. end
module Make: functor (Ord : OrderedType) -> S with type key = Ord.t and type 'a t = 'a Map.Make(Ord).t
functor (
Ord
:
OrderedType
) ->
S
with type key = Ord.t and type 'a t = 'a Map.Make(Ord).t