functor (X : sig val label : string end->
  sig
    val it : Info.t
    val info : ('a, unit, string, unit) Pervasives.format4 -> 'a
    val wt : Warning.t
    val warning : ('a, unit, string, unit) Pervasives.format4 -> 'a
    val dt : Debug.t
    val debug : ('a, unit, string, unit) Pervasives.format4 -> 'a
    val fatal : ('a, unit, string, 'b) Pervasives.format4 -> 'a
  end