X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.mli;h=060e0863dc3ffdc0caf7fc10b8fe651824b99158;hb=9be0c0e2a5597148fdc3a3cca2bdaf69da0aa27d;hp=6bc38b5236d4aad275538334d280f73eccb789d6;hpb=3623eefccfb5fc69e19ad975a3669f51a2a8b276;p=SXSI%2Fxpathcomp.git

diff --git a/tree.mli b/tree.mli
index 6bc38b5..060e086 100644
--- a/tree.mli
+++ b/tree.mli
@@ -24,3 +24,5 @@ sig
 end
 
 module Binary : BINARY
+
+val dump : Binary.t -> unit