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