Module Checkers__ConfigImpactAnalysis.Summary
val pp : Stdlib.Format.formatter -> t -> unit
val get_unchecked_callees : t -> UncheckedCallees.t
Checkers__ConfigImpactAnalysis.Summary
val pp : Stdlib.Format.formatter -> t -> unit
val get_unchecked_callees : t -> UncheckedCallees.t