sig
  val get_debug : unit -> bool
  val set_debug : unit -> unit
  val not_yet_implemented : string -> 'a
  val trace : string -> unit
  val untrace : string -> unit
  val sep : string
  val print : ('a, Pervasives.out_channel, unit) Pervasives.format -> 'a
  val output :
    string -> ('a, Pervasives.out_channel, unit) Pervasives.format -> 'a
  val output_sep :
    string -> ('a, Pervasives.out_channel, unit) Pervasives.format -> 'a
end