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