(***********************************************************************)
(** Implementation of sets of states *)
-include Ptset.S with type elt = int
+include Ptset.S with type elt = State.t
val print : Format.formatter -> t -> unit
(** Pretty printer *)