include Ptset.Make (Hcons.PosInt)
let print ppf s =
- fprintf ppf "{ %a }"
- (Pretty.print_list ~sep:" " (State.print)) (elements s)
+ let p_set ppf s =
+ if is_empty s
+ then fprintf ppf "ΓΈ"
+ else
+ (Pretty.print_list ~sep:" " (State.print)) ppf (elements s) in
+ fprintf ppf "{ %a }" p_set s
+