(* *)
(***********************************************************************)
-(*
- Time-stamp: <Last modified on 2013-01-30 19:07:02 CET by Kim Nguyen>
-*)
-
(** 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 *)