tagSet.ml

   1 (* module Ptset =
   2 struct
   3   include Set.Make (struct type t = int let compare = (-) end)
   4   let hash = Hashtbl.hash
   5 end
   6   *)
   7 module M  : FiniteCofinite.S with type elt = Tag.t and type set = Ptset.t =
   8   FiniteCofinite.Make(Ptset)
   9 include M
  10
  11
  12 let tag t = singleton t
  13 let pcdata = singleton Tag.pcdata
  14 let attribute = singleton Tag.attribute
  15 let star = diff any (cup pcdata attribute)
  16 let node = neg attribute
  17