merge from local branch

[SXSI/xpathcomp.git] / tree.mli

diff --git a/tree.mli b/tree.mli
index 75fb8fd..cc8a8e6 100644 (file)
--- a/tree.mli
+++ b/tree.mli
@@ -48,3 +48,4 @@ val count_contains : t -> string -> int
 val unsorted_contains : t -> string -> unit
 val text_size : t -> int
 val doc_ids : t -> int*int
+val subtree_tags : t -> Tag.t -> int