(* *)
(***********************************************************************)
-(*
- Time-stamp: <Last modified on 2013-01-30 19:07:06 CET by Kim Nguyen>
-*)
-
open Format
-include Ptset.Make (Hcons.PosInt)
+include Ptset.Make (State)
let print ppf s =
fprintf ppf "{ %a }"