sc" class="anchored"><td class="def record field"><a href="#type-t.proc_desc" class="anchor"></a><code><span>proc_desc : <a href="../../IR/Procdesc/index.html#type-t">IR.Procdesc.t</a>;</span></code></td><td class="def-doc"><span class="comment-delim">(*</span><p>the procedure to analyze</p><span class="comment-delim">*)</span></td></tr><tr id="type-t.tenv" class="anchored"><td class="def record field"><a href="#type-t.tenv" class="anchor"></a><code><span>tenv : <a href="../../IR/Tenv/index.html#type-t">IR.