setr

Abstract domain library for sets
IN THIS PACKAGE
module type VAR = sig ... end
module Make (Var : VAR) : sig ... end