module Interned: sig .. end
sig
end
module type S = sig .. end
module Make: functor (S : sigend) -> sig .. end
functor (
S
:
) ->