 <span>&#45;&gt;</span> <a href="../../IR/Procdesc/Node/index.html#type-t">IR.Procdesc.Node.t</a></code></dt><dt class="spec type" id="type-checks"><a href="#type-checks" class="anchor"></a><code><span class="keyword">type</span> checks</code><code> = </code><code>{</code><table class="record"><tr id="type-checks.eradicate" class="anchored"><td class="def field"><a href="#type-checks.eradicate" class="anchor"></a><code>eradicate : bool;</code></td></tr><tr id="type-checks.check_ret_type" class="anchored"><t