setr

Abstract domain library for sets
IN THIS PACKAGE
type t = int
val of_const : int -> t
val incr : t ref -> unit