module Helper: sig .. end
sig
end
module type CONTROL = sig .. end
module Debug: functor (X : CONTROL) -> sig .. end
functor (
X
:
CONTROL
) ->