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 *)