ex.html#type-t">Absint.IntraproceduralAnalysis.t</a> <span>&#45;&gt;</span> <span><a href="../Nullsafe/NullsafeSummary/index.html#type-t">Nullsafe.NullsafeSummary.t</a> option</span></code></dt><dd><p>For checkers that explore eradicate/nullsafe infra, but not part of nullsafe.Annot Call the given check_return_type at the end of every procedure.</p></dd></dl></div></body></html>