Module Checkers.RequiredProps
val checker : LithoDomain.summary Absint.InterproceduralAnalysis.t -> LithoDomain.summary option
Checkers.RequiredPropsval checker : LithoDomain.summary Absint.InterproceduralAnalysis.t -> LithoDomain.summary option