module Set: sig .. end
sig
end
module type OrderedTypePrintable = sig .. end
module type S = sig .. end
module Make: functor (M : OrderedTypePrintable) -> sig .. end
functor (
M
:
OrderedTypePrintable
) ->