X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftracer.mli;fp=src%2Ftracer.mli;h=99c078b3dd6e456859524251316cf7a6c54cf12a;hb=43906e89a76c67491e2a567990980df787036088;hp=0000000000000000000000000000000000000000;hpb=15925690fee382ffc7d78fa2fed8b686c180ec99;p=SXSI%2Fxpathcomp.git

diff --git a/src/tracer.mli b/src/tracer.mli
new file mode 100644
index 0000000..99c078b
--- /dev/null
+++ b/src/tracer.mli
@@ -0,0 +1,11 @@
+type tracer = string
+type level = int
+val is_tracer : tracer -> bool
+val is_active : tracer -> bool
+val level : tracer -> level
+val activate : tracer -> level -> unit
+val deactivate : tracer -> unit
+val set_output : Format.formatter -> unit
+val trace : tracer -> level -> string -> unit
+
+val available : unit -> string list