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

diff --git a/tree.mli b/tree.mli
index f3a4de6..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