d class="def field"><a href="#type-checks.check_ret_type" class="anchor"></a><code>check_ret_type : <span><a href="index.html#type-check_return_type">check_return_type</a> list</span>;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-typecheck_result"><a href="#type-typecheck_result" class="anchor"></a><code><span class="keyword">type</span> typecheck_result</code><code> = </code><code>{</code><table class="record"><tr id="type-typecheck_result.normal_flow_typestate" class="anchored