Merge branch 'local-ocamlbuild' into local-trunk

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

diff --git a/src/profile.mli b/src/profile.mli
new file mode 100644 (file)
index 0000000..2302257
--- /dev/null
+++ b/src/profile.mli
@@ -0,0 +1,3 @@
+val table : ((string*string) , (int * float list) ref) Hashtbl.t
+
+val summary : Format.formatter -> unit