X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftree.mli;h=ee9a5f4747da157abcf2d0dac258064935c42800;hb=9d19c60e10c9572885509b35c2b72f362968d6ab;hp=0946a4c0f54668f575269ccd1e57909b4da7536a;hpb=3c2dcd45ebe8d5c3134c8202efe329f76ffc0b8c;p=SXSI%2Fxpathcomp.git

diff --git a/src/tree.mli b/src/tree.mli
index 0946a4c..ee9a5f4 100644
--- a/src/tree.mli
+++ b/src/tree.mli
@@ -28,9 +28,8 @@ 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_sibling : t -> node ->  Tag.t -> node
+val select_sibling : t -> node -> unordered_set -> node
 
 val tagged_descendant : t -> node -> Tag.t -> node
 val tagged_next : t -> node -> Tag.t -> node
@@ -40,7 +39,6 @@ val tagged_following_before : t -> node -> Tag.t -> node ->  node
 val select_following_before : t -> node -> unordered_set -> node -> node
 
 val parent : t -> node -> node
-val binary_parent : t -> node -> node
 val is_first_child : t -> node -> bool
 val is_right_descendant : t -> node -> node -> bool