 â€“ <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Checkers</a> &#x00BB; <a href="../index.html">AddressTaken</a> &#x00BB; TransferFunctions</nav><h1>Module <code>AddressTaken.TransferFunctions</code></h1></header><h3 class="heading">Parameters</h3><ul><li><code><a href="argument-1-CFG/index.html">CFG</a> : <a href="../../../Absint/ProcCfg/index.html#module-type-S">Absint.ProcCfg.S</a></code></li></ul><h3 class="heading">Signature</h3><div class="spec module" id="module-CF