"><td class="def field"><a href="#type-typecheck_result.normal_flow_typestate" class="anchor"></a><code>normal_flow_typestate : <span><a href="../TypeState/index.html#type-t">TypeState.t</a> option</span>;</code></td><td class="doc"><p>Typestate at the exit of the node. <code>None</code> if node is determined dead end (e.g. noreturn function). Will be passed to all output nodes of the current node.</p></td></tr><tr id="type-typecheck_result.exception_flow_typestates" class="anchored"><td class="def field"><