setr

Abstract domain library for sets
IN THIS PACKAGE
module type Domain = sig ... end
module type DomainRenamable = sig ... end
module type Sym = sig ... end