src/tracer.mli

   1 type tracer = string
   2 type level = int
   3 val is_tracer : tracer -> bool
   4 val is_active : tracer -> bool
   5 val level : tracer -> level
   6 val activate : tracer -> level -> unit
   7 val deactivate : tracer -> unit
   8 val set_output : Format.formatter -> unit
   9 val trace : tracer -> level -> string -> unit
  10
  11 val available : unit -> string list