3 include Set.Make (struct type t = int let compare = (-) end)
4 let hash = Hashtbl.hash
7 module M : FiniteCofinite.S with type elt = Tag.t and type set = Ptset.t =
8 FiniteCofinite.Make(Ptset)
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