setr

Abstract domain library for sets
IN THIS PACKAGE
module Rename = SETr_Rename
module type L = sig ... end