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

diff --git a/tree.mli b/tree.mli
index 060e086..329d497 100644
--- a/tree.mli
+++ b/tree.mli
@@ -26,3 +26,6 @@ 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