sig
  module type CONTROL =
    sig val debug : bool val time : bool val printing : bool end
  module Debug :
    functor (X : CONTROL->
      sig
        val debug : string -> unit
        val debug_exception : string -> exn -> unit
        val time :
          ('-> 'b) ->
          '->
          (float -> unit, Pervasives.out_channel, unit) Pervasives.format ->
          'b
        val pr_constr : string -> Term.constr -> unit
      end
end