setr

Abstract domain library for sets
IN THIS PACKAGE
Module type SETr_Symbolic_Logger . L
val file : string