setr

Abstract domain library for sets
IN THIS PACKAGE
type t = int * Var.t * int
val equal : ('a * Var.t * 'b) -> ('a * Var.t * 'b) -> bool
val hash : (int * Var.t * int) -> int