Module Checkers.Uninit
val checker : UninitDomain.Summary.t Absint.InterproceduralAnalysis.t -> UninitDomain.Summary.t option
Checkers.Uninitval checker : UninitDomain.Summary.t Absint.InterproceduralAnalysis.t -> UninitDomain.Summary.t option