ndex.html">infer</a> &#x00BB; <a href="../../index.html">Absint</a> &#x00BB; <a href="../index.html">TransferFunctions</a> &#x00BB; S</nav><h1>Module type <code>TransferFunctions.S</code></h1></header><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="../../ProcCfg/index.html#module-type-S">ProcCfg.S</a></code></div><dl><dt class="spec module" id="module-Domain"><a href="#module-Domain" class