Module Nullsafe.EradicateReporting
val report_error : Absint.IntraproceduralAnalysis.t -> IBase.Checker.t -> ?field_name:IR.Fieldname.t option -> NullsafeIssue.t -> unit
Nullsafe.EradicateReportingval report_error : Absint.IntraproceduralAnalysis.t -> IBase.Checker.t -> ?field_name:IR.Fieldname.t option -> NullsafeIssue.t -> unit