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
functor (
Ord
:
OrderedType
) ->
S
with type key = Ord.t