X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.mli;fp=tree.mli;h=280d97dac608cffdcd8360f6eb179e09ca8d723d;hb=7b6e25ac7c3b4e06c8386c1090bb69ae97a47143;hp=4a8f12c52e9b031057bc0bbd2154dc5c9966361e;hpb=9f227961ae2219728e4cdd56e4d4c4e7165e4306;p=SXSI%2Fxpathcomp.git

diff --git a/tree.mli b/tree.mli
index 4a8f12c..280d97d 100644
--- a/tree.mli
+++ b/tree.mli
@@ -91,3 +91,8 @@ val benchmark_jump : t -> Tag.t -> unit
 val benchmark_fcns : t -> unit
 val benchmark_lcps : t -> unit
 val stats : t -> unit
+
+val test_suffix : t -> string -> int
+val test_prefix : t -> string -> int
+val test_equals : t -> string -> int
+val test_contains : t -> string -> int