setr

Abstract domain library for sets
IN THIS PACKAGE
module DS = SETr_DS
module Rename = SETr_Rename
module Inner : sig ... end