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