type tracer = string
type level = int
val is_tracer : tracer -> bool
val is_active : tracer -> bool
val level : tracer -> level
val activate : tracer -> level -> unit
val deactivate : tracer -> unit
val set_output : Format.formatter -> unit
val trace : tracer -> level -> string -> unit

val available : unit -> string list