Module Types.IdSet

module IdSet: Set.Make(sig

type t = int 

val compare : 'a -> 'a -> int

end)

Set wich contains ids of variables, used to represent abstact domain of pointers