X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2FqNameSet.ml;h=e81118edea2aa2fb2568fb787d1c829436f358dc;hb=83c90cb5eeebfffa05d0383430eb80e7905b46a0;hp=4035957b829d6b2772be4a9c23153d670222b3e1;hpb=cba2938d929fd5119b1491686ddc224d5af618c6;p=tatoo.git

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