Fixed bug in NextElement, improved caching

[SXSI/xpathcomp.git] / tree.mli

diff --git a/tree.mli b/tree.mli
index c38ab02..ba0fc44 100644 (file)
--- a/tree.mli
+++ b/tree.mli
@@ -75,3 +75,6 @@ val subtree_tags : t -> Tag.t ->  [`Tree] node -> int
 val get_text : t -> [`Tree] node ->  string
 
 val dump_tree : Format.formatter -> t -> unit
+val subtree_size : t -> [`Tree] node -> int
+val text_below : t -> [`Tree] node -> [`Tree] node
+val text_next :  t -> [`Tree] node -> [`Tree] node -> [`Tree] node