setr

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