X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2FqNameSet.ml;h=8746b09e8ef9ba78a04f7c5d54cd5700678f88c6;hp=4035957b829d6b2772be4a9c23153d670222b3e1;hb=e80e269c313952b4d427fa6a5a9729ea15e43f39;hpb=5a9c2accf1b54294cd71b90ca5cca5f69ac8e76e

diff --git a/src/qNameSet.ml b/src/qNameSet.ml
index 4035957..8746b09 100644
--- a/src/qNameSet.ml
+++ b/src/qNameSet.ml
@@ -16,3 +16,21 @@
 include FiniteCofinite.Make(Ptset.Make(QName))
 
 module Weak = FiniteCofinite.Weak(Ptset.Weak(QName))
+
+(* BEGIN : Lucca Hirschi *)
+let to_string set =
+  String.concat " "
+    [
+      (match (kind set) with
+	| `Finite -> "F("
+	| `Cofinite  -> "Cof(")
+      ;
+      if is_empty (complement set) then
+	"ø"
+      else
+	( String.concat " "
+	    (List.map (fun name -> QName.to_string name) (elements (complement set))))
+      ;
+      ")"
+    ]
+(* END : Lucca Hirschi *)