Change the structure of log messages. Add a new

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

diff --git a/src/logger.mli b/src/logger.mli
index 1ee96d5..15b28e9 100644 (file)
--- a/src/logger.mli
+++ b/src/logger.mli
@@ -13,3 +13,7 @@ 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