setr

Abstract domain library for sets
IN THIS PACKAGE
Module SETr_DS_CNF . Int
type t = int
val compare : 'a -> 'a -> int