Module Concurrency.RacerDProcAnalysis
val analyze : RacerDDomain.summary Absint.InterproceduralAnalysis.t -> RacerDDomain.summary option
Concurrency.RacerDProcAnalysisval analyze : RacerDDomain.summary Absint.InterproceduralAnalysis.t -> RacerDDomain.summary option