(* *)
(***********************************************************************)
-(*
- Time-stamp: <Last modified on 2013-03-09 17:54:35 CET by Kim Nguyen>
-*)
-
include FiniteCofinite.Make(Ptset.Make(QName))
let print_finite fmt e conv =
if test e then print_finite fmt e conv
else
let () = Format.fprintf fmt "%s" Pretty.big_sigma in
- if not (is_any e) then begin Format.fprintf fmt "-";print_finite fmt (inv e) conv end
+ if not (is_any e) then begin
+ Format.fprintf fmt "-";
+ print_finite fmt (inv e) conv
+ end
let print fmt e = printer fmt e is_finite elements complement is_any