tagSet.ml

   1 include FiniteCofinite.Make(Ptset)
   2
   3 let tag t = singleton t
   4 let pcdata = singleton Tag.pcdata
   5 let attribute = singleton Tag.attribute
   6 let star = diff any (cup pcdata attribute)
   7 let node = neg attribute