Rename 'Tracer' module to 'Logger'.

[SXSI/xpathcomp.git] / src / logger.mli

diff --git a/src/logger.mli b/src/logger.mli
new file mode 100644 (file)
index 0000000..a9c827d
--- /dev/null
+++ b/src/logger.mli
@@ -0,0 +1,11 @@
+type t = string
+type level = int
+val is_logger : t -> bool
+val is_active : t -> bool
+val level : t -> level
+val activate : t -> level -> unit
+val deactivate : t -> unit
+val set_output : Format.formatter -> unit
+val log : t -> level -> string -> unit
+
+val available : unit -> string list