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