sig
  type 'a t = ('a, Format.formatter, unit) Pervasives.format -> 'a
  val set_formatter : Format.formatter -> unit
  val certif : 'Debug.t
  val event : 'Debug.t
  val extract : 'Debug.t
  val fec : 'Debug.t
  val invgencand : 'Debug.t
  val kind2 : 'Debug.t
  val ltree : 'Debug.t
  val messaging : 'Debug.t
  val parse : 'Debug.t
  val qe : 'Debug.t
  val qedetailed : 'Debug.t
  val simplify : 'Debug.t
  val smt : 'Debug.t
  val smtexpr : 'Debug.t
  val transsys : 'Debug.t
  val c2i : 'Debug.t
  val ic3 : 'Debug.t
  val compress : 'Debug.t
  val native : 'Debug.t
end