Merged -correctxpath branch

[SXSI/xpathcomp.git] / tree.mli

diff --git a/tree.mli b/tree.mli
index e9ef8c7..79321c2 100644 (file)
--- a/tree.mli
+++ b/tree.mli
@@ -58,8 +58,11 @@ sig
   val print_id : Format.formatter -> t -> unit 
   val test_xml_tree : Format.formatter -> Ptset.t -> t -> unit
   val init_contains : t -> string -> unit
+  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