X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fprofile.mli;fp=src%2Fprofile.mli;h=23022573424206f86c051736242cf5ade7370568;hb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;hp=0000000000000000000000000000000000000000;hpb=a223af3254fb51c279cfbccdc18c59484fdca74e;p=SXSI%2Fxpathcomp.git

diff --git a/src/profile.mli b/src/profile.mli
new file mode 100644
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