l#type-t">Nullsafe.NullsafeSummary.t</a> option</span></code></dt><dd><p>Proc-level callback for nullsafe.</p></dd></dl><dl><dt class="spec value" id="val-analyze_for_immutable_cast_checker"><a href="#val-analyze_for_immutable_cast_checker" class="anchor"></a><code><span class="keyword">val</span> analyze_for_immutable_cast_checker : <a href="../Nullsafe/TypeCheck/index.html#type-check_return_type">Nullsafe.TypeCheck.check_return_type</a> <span>&#45;&gt;</span> <a href="../Absint/IntraproceduralAnalysis/ind