module Namespace: sig .. end
sig
end
module Make: functor (X : sigend) -> sig .. end
functor (
X
:
) ->