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

diff --git a/src/tree.mli b/src/tree.mli
index d329b5a..0946a4c 100644
--- a/src/tree.mli
+++ b/src/tree.mli
@@ -86,3 +86,8 @@ val full_text_suffix : t -> string -> node array
 val full_text_equals : t -> string -> node array
 
 val full_text_contains : t -> string -> node array
+
+type bit_vector
+val bit_vector_create : int -> bit_vector
+val bit_vector_unsafe_set : bit_vector -> int -> bool -> unit
+val bit_vector_unsafe_get : bit_vector -> int -> bool