Split the Options module in two to remove a circular dependency in

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

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