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 include FiniteCofinite.Make(Ptset)
   8
   9 let tag t = singleton t
  10 let pcdata = singleton Tag.pcdata
  11 let attribute = singleton Tag.attribute
  12 let star = diff any (cup pcdata attribute)
  13 let node = neg attribute