X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.mli;h=cc8a8e62bdfb18cd1a5d430c1124de70310c2c4d;hb=497ac3f74338faede9a844f5940857f55c0e9b64;hp=75fb8fd5aa90f8e26158fef672ffa7863914be2b;hpb=f98a8d98d86941a885f492d5cc134e34989c198a;p=SXSI%2Fxpathcomp.git

diff --git a/tree.mli b/tree.mli
index 75fb8fd..cc8a8e6 100644
--- 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