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