module Mmem: sig .. end
sig
end
module type Mm_sig = sig .. end
module MT: functor (M : Mm_sig) -> sig .. end
functor (
M
:
Mm_sig
) ->
module MM: functor (M : Mm_sig) -> sig .. end