X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.mli;h=ad244e48b3aa725e13579e087ae58f8b9add5f0c;hb=6b03c8ef3dac4b1de06ca577e8e0ee07c6c3eae7;hp=f3a4de69305212c37c4142d3030b1b81e09382f9;hpb=63ca35af9ef5c0b18b3d3217536f3353f77f5465;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