Module Checkers__ConfigChecksBetweenMarkers
module Summary : sig ... endval checker : Summary.t Absint.InterproceduralAnalysis.t -> Summary.t option
Checkers__ConfigChecksBetweenMarkersmodule Summary : sig ... endval checker : Summary.t Absint.InterproceduralAnalysis.t -> Summary.t option