let hash = Hashtbl.hash
end
*)
-module M : FiniteCofinite.S with type elt = Tag.t and type set = Ptset.t =
- FiniteCofinite.Make(Ptset)
+module M : FiniteCofinite.S with type elt = Tag.t and type set = Ptset.Int.t =
+ FiniteCofinite.Make(Ptset.Int)
include M