merge from branch stable-succint-jumping

[SXSI/xpathcomp.git] / ptset.mli

diff --git a/ptset.mli b/ptset.mli
index c36a08d..8a25ffc 100644 (file)
--- a/ptset.mli
+++ b/ptset.mli
@@ -87,3 +87,7 @@ val intersect : t -> t -> bool
 val hash : t -> int
 
 val from_list : int list -> t
+
+type int_vector
+val to_int_vector : t -> int_vector
+