X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=ptset.mli;h=8a25ffc4c656aefdfc26576eb9d268f358ada243;hb=4ef83e49878441a5146af5326c1b49ced4002756;hp=c36a08db87b223a1e78a86cd4d08514eb3fd08d7;hpb=d04661689691b4587cfc45a35e98604fcdc2b878;p=SXSI%2Fxpathcomp.git

diff --git a/ptset.mli b/ptset.mli
index c36a08d..8a25ffc 100644
--- 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
+