X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Flogger.mli;h=15b28e9f64a753ab35d6c1e21774bd6727b16d9b;hb=refs%2Fheads%2Fmaster;hp=a9c827dacf77b387f0c481ba52d46d56d5e0607c;hpb=7c4c61cec6fe1ae3a1b83a59b17ce90adcfe9b0b;p=SXSI%2Fxpathcomp.git

diff --git a/src/logger.mli b/src/logger.mli
index a9c827d..15b28e9 100644
--- a/src/logger.mli
+++ b/src/logger.mli
@@ -6,6 +6,14 @@ 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 log : t -> level -> ('a, Format.formatter, unit) format -> 'a
+val print : Format.formatter -> ('a, Format.formatter, unit) format -> 'a
 val available : unit -> string list
+
+val set_verbose : bool -> unit
+val verbose : Format.formatter -> ('a, Format.formatter, unit) format -> 'a
+
+val start_msg : Format.formatter -> string -> unit
+val end_msg : Format.formatter -> string -> unit
+val msg : Format.formatter -> ('a, Format.formatter, unit) format -> 'a