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