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

diff --git a/tree.mli b/tree.mli
index 6bc38b5..329d497 100644
--- a/tree.mli
+++ b/tree.mli
@@ -24,3 +24,8 @@ sig
 end
 
 module Binary : BINARY
+
+val dump : Binary.t -> unit
+val traversal : Binary.t -> unit
+val full_traversal : Binary.t -> unit
+val cpp_traversal : Binary.t -> unit