X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=ptset.mli;h=0d29da85342750eb98de6062efdf067336218a8d;hb=05d12de7ce75866e7e7e19fba37720fda99c38ad;hp=8a25ffc4c656aefdfc26576eb9d268f358ada243;hpb=dc91851aaeac91a71eba2c266d0227adea0c5815;p=SXSI%2Fxpathcomp.git

diff --git a/ptset.mli b/ptset.mli
index 8a25ffc..0d29da8 100644
--- a/ptset.mli
+++ b/ptset.mli
@@ -84,10 +84,11 @@ val max_elt : t -> int
    intersection. *) 
 
 val intersect : t -> t -> bool
+val is_singleton : t -> bool
+
 val hash : t -> int
 
 val from_list : int list -> t
 
 type int_vector
 val to_int_vector : t -> int_vector
-