ass="anchor"></a><code><span class="keyword">type</span> t</code><code> = <a href="../../../../Make/CFG/index.html#type-t">Make(TransferFunctions)(DefaultConfig).CFG.t</a></code></dt><dt class="spec type" id="type-instrs_dir"><a href="#type-instrs_dir" class="anchor"></a><code><span class="keyword">type</span> instrs_dir</code><code> = <a href="../../../../Make/CFG/index.html#type-instrs_dir">Make(TransferFunctions)(DefaultConfig).CFG.instrs_dir</a></code></dt></dl><div class="spec module" id="module-Node">