X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Flogger.mli;fp=src%2Flogger.mli;h=a9c827dacf77b387f0c481ba52d46d56d5e0607c;hb=7c4c61cec6fe1ae3a1b83a59b17ce90adcfe9b0b;hp=0000000000000000000000000000000000000000;hpb=5db22d04b3c81471dd521537a819da9ce541a171;p=SXSI%2Fxpathcomp.git

diff --git a/src/logger.mli b/src/logger.mli
new file mode 100644
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