Change the logging infrastructure:
[SXSI/xpathcomp.git] / src / logger.mli
1 type t = string
2 type level = int
3 val is_logger : t -> bool
4 val is_active : t -> bool
5 val level : t -> level
6 val activate : t -> level -> unit
7 val deactivate : t -> unit
8 val set_output : Format.formatter -> unit
9
10 val log : t -> level -> ('a, Format.formatter, unit) format -> 'a
11 val print : Format.formatter -> ('a, Format.formatter, unit) format -> 'a
12 val available : unit -> string list
13