X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.mli;h=ad244e48b3aa725e13579e087ae58f8b9add5f0c;hb=9abf8a6f78264fbf4eec1676b4a26018967c97e6;hp=6fa19b013f7085ea9abf7a8eaecb3c2ae266e359;hpb=c10ce35cd399aff15a49f3b24a31b38cb2191da0;p=SXSI%2Fxpathcomp.git

diff --git a/tree.mli b/tree.mli
index 6fa19b0..ad244e4 100644
--- a/tree.mli
+++ b/tree.mli
@@ -12,6 +12,8 @@ sig
   type t
   val parse_xml_uri : string -> t
   val parse_xml_string : string -> t
+  val save : t -> string -> unit
+  val load : ?sample:int -> string -> t
   val tag_pool : t -> Tag.pool
   val string : t -> string
   val descr : t -> descr
@@ -32,7 +34,10 @@ end
 
 module Binary : BINARY
 
+IFDEF DEBUG
+THEN
 module DEBUGTREE : sig
   include BINARY
   val print_stats : Format.formatter -> unit
 end
+ENDIF