Module Checkers.AnnotationReachability
val checker : AnnotationReachabilityDomain.t Absint.InterproceduralAnalysis.t -> AnnotationReachabilityDomain.t option
Checkers.AnnotationReachabilityval checker : AnnotationReachabilityDomain.t Absint.InterproceduralAnalysis.t -> AnnotationReachabilityDomain.t option