e-S">Absint.TransferFunctions.S</a> <span class="keyword">with</span> <span class="keyword">type</span> <a href="../../../Absint/TransferFunctions/module-type-S/index.html#type-instr">instr</a> := <a href="../../../Absint/HilInstr/index.html#type-t">Absint.HilInstr.t</a></code></span></summary><div class="spec module" id="module-CFG"><a href="#module-CFG" class="anchor"></a><code><span class="keyword">module</span> <a href="CFG/index.html">CFG</a> : <a href="../../../Absint/ProcCfg/index.html#module-type-S"