Up – infer » Nullsafe » ImmutableChecker

Module `Nullsafe.ImmutableChecker`

val analyze : Absint.IntraproceduralAnalysis.t -> NullsafeSummary.t option