X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.mli;h=79321c2477e1dadf6e17cd08cdc44f5b3b9bbeaf;hb=92455238a637876bec18bfdaed4f5342f4cbbd1f;hp=89bf83dfc793664c9de28778ed5ff5dc780ca8b3;hpb=25a3fa55f6de1835d2407283eeb43b01819543f6;p=SXSI%2Fxpathcomp.git

diff --git a/tree.mli b/tree.mli
index 89bf83d..79321c2 100644
--- a/tree.mli
+++ b/tree.mli
@@ -61,6 +61,8 @@ sig
   val init_naive_contains : t -> string -> unit
   val mk_nil : t -> t
   val test_jump : t -> Tag.t -> unit
+  val time_xml_tree : t -> Tag.t -> int list
+  val time_xml_tree2 : t -> Tag.t -> int list
 end
 
 module Binary : BINARY