a href="#type-typecheck_result.exception_flow_typestates" class="anchor"></a><code>exception_flow_typestates : <span><a href="../TypeState/index.html#type-t">TypeState.t</a> list</span>;</code></td><td class="doc"><p>If an exception might be thrown after this node, this list should contain all possible states at which the exception can be thrown. (Can be several states because different instructions in the single node can potentially throw). These typestates (joined together) will be passed to all &quot;exc