X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.mli;fp=tree.mli;h=ba0fc440d91261d8ad7c6419bc807f0dc582fbf6;hb=477c1bef21a38e8371a745da9491fd6a6aae2aa5;hp=c38ab021e05e87fdac2b14cedee48aca0ca565ee;hpb=d550133ad7afdf65c5e284c2bcf67a5bdde6faa7;p=SXSI%2Fxpathcomp.git

diff --git a/tree.mli b/tree.mli
index c38ab02..ba0fc44 100644
--- 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