setr

Abstract domain library for sets
IN THIS PACKAGE
module type S = sig ... end