module Kwmap: sig .. end
sig
end
module type OrderedType = Map.OrderedType
Map.OrderedType
module type S = sig .. end
module Make: functor (Ord : Map.OrderedType) -> sig .. end
functor (
Ord
:
) ->