ConfigImpactAnalysis.UncheckedCallee
type t
val is_known_expensive : t -> bool
val make_err_trace : t -> Absint.Errlog.loc_trace
val pp_without_location_list : Stdlib.Format.formatter -> t list -> unit