Module Checkers__ConfigImpactAnalysis.UncheckedCallee
val make_err_trace : t -> Absint.Errlog.loc_trace
val pp_without_location_list : Stdlib.Format.formatter -> t list -> unit
Checkers__ConfigImpactAnalysis.UncheckedCallee
val make_err_trace : t -> Absint.Errlog.loc_trace
val pp_without_location_list : Stdlib.Format.formatter -> t list -> unit