(* *)
(***********************************************************************)
-(*
- Time-stamp: <Last modified on 2013-04-04 18:46:16 CEST by Kim Nguyen>
-*)
-
open Format
-include Ptset.Make (Hcons.PosInt)
+include Ptset.Make (State)
let print ppf s =
fprintf ppf "{ %a }"