>;</code></td></tr><tr id="type-resolved_param.is_formal_propagates_nullable" class="anchored"><td class="def field"><a href="#type-resolved_param.is_formal_propagates_nullable" class="anchor"></a><code>is_formal_propagates_nullable : bool;</code></td></tr></table><code>}</code></dt></dl><dl><dt class="spec value" id="val-check_call_parameters"><a href="#val-check_call_parameters" class="anchor"></a><code><span class="keyword">val</span> check_call_parameters : <a href="../../Absint/IntraproceduralAnalysis/