Module Helper

module Helper: sig .. end
Debugging functions, that can be triggered on a per-file base.

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