X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftree.mli;h=db15525b6e34edd60416edcb3883102504c30cc8;hb=7166a99542af5ad2f5b53fe9fa9e5164dff7cfe5;hp=1fa5c3ba6525514ef9530e23043e26412e53f99c;hpb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;p=SXSI%2Fxpathcomp.git

diff --git a/src/tree.mli b/src/tree.mli
index 1fa5c3b..db15525 100644
--- a/src/tree.mli
+++ b/src/tree.mli
@@ -29,10 +29,12 @@ val select_child : t -> node -> unordered_set -> node
 val next_sibling : t -> node -> node
 val prev_sibling : t -> node -> node
 val next_element : t -> node -> node
+val next_node_before : t -> node -> node -> node
 val tagged_following_sibling : t -> node ->  Tag.t -> node
 val select_following_sibling : t -> node -> unordered_set -> node
 
 val tagged_descendant : t -> node -> Tag.t -> node
+val tagged_next : t -> node -> Tag.t -> node
 val select_descendant : t -> node -> unordered_set -> node
 
 val tagged_following_before : t -> node -> Tag.t -> node ->  node