setr

Abstract domain library for sets
IN THIS PACKAGE
Module SETr_Select
val process : string -> SETr_DomainBuilder.t