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