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
11 val available : unit -> string list