X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=ptset.mli;fp=ptset.mli;h=47c28ba540cd91fbebcf6396a57720e7e52649a1;hb=7489c542a7b7357a1c2bbc436d1d77c601833d3b;hp=8a25ffc4c656aefdfc26576eb9d268f358ada243;hpb=d4342e4bb9c853114de295567cd91ec86bb9e68f;p=SXSI%2Fxpathcomp.git

diff --git a/ptset.mli b/ptset.mli
index 8a25ffc..47c28ba 100644
--- a/ptset.mli
+++ b/ptset.mli
@@ -84,6 +84,8 @@ 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