ta</a> <span class="keyword">and</span> <span class="keyword">module</span> <a href="../../Absint/TransferFunctions/module-type-SIL/CFG/index.html">CFG</a> = <a href="argument-1-T/index.html#module-CFG">T.CFG</a> <span class="keyword">and</span> <span class="keyword">type</span> <a href="../../Absint/TransferFunctions/module-type-SIL/Domain/index.html#type-t">Domain.t</a> = <span><a href="argument-1-T/Domain/index.html#type-t">T.Domain.t</a> list</span></code></div><div class="spec module" id="module-Invari