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 :
          ('a -> 'b) ->
          'a -> (float -> unit, Stdlib.out_channel, unit) Stdlib.format -> 'b
        val pr_constr :
          Environ.env -> Evd.evar_map -> string -> EConstr.constr -> unit
      end
end