(* *)
(***********************************************************************)
-(*
- Time-stamp: <Last modified on 2013-04-04 18:41:31 CEST 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 *)