Added unit_test file

[SXSI/xpathcomp.git] / tree.mli

diff --git a/tree.mli b/tree.mli
index b252bab..d5d48a3 100644 (file)
--- a/tree.mli
+++ b/tree.mli
@@ -46,9 +46,12 @@ sig
   val has_tagged_foll : t -> Tag.t -> bool
   val tagged_desc : t -> Tag.t -> t
   val tagged_foll : t -> Tag.t -> t
+  val init_tagged_next : t -> Tag.t -> unit
   val tagged_next : t -> Tag.t -> t
   val subtree_tags : t -> Tag.t -> int
   val is_left : t -> bool
+  val print_id : Format.formatter -> t -> unit 
+  val test_xml_tree : Format.formatter -> Ptset.t -> t -> unit
 end
 
 module Binary : BINARY