ed"><td class="def record field"><a href="#type-hpara_dll0.evars_dll" class="anchor"></a><code><span>evars_dll : <span><a href="../../IR/Ident/index.html#type-t">IR.Ident.t</a> list</span>;</span></code></td></tr><tr id="type-hpara_dll0.body_dll" class="anchored"><td class="def record field"><a href="#type-hpara_dll0.body_dll" class="anchor"></a><code><span>body_dll : <span><span><span class="type-var">'inst</span> <a href="#type-hpred0">hpred0</a></span> list</span>;</span></code></td></tr></table><code><s