> <a href="../../Absint/AbstractInterpreter/module-type-TransferFunctions/CFG/index.html">CFG</a> = <a href="PreAnalysisTransferFunctions/argument-1-CFG/index.html">CFG</a></span>
     <span class="keyword">and</span> <span><span class="keyword">module</span> <a href="../../Absint/AbstractInterpreter/module-type-TransferFunctions/Domain/index.html">Domain</a> = <a href="ExtendedDomain/index.html">ExtendedDomain</a></span>
     <span class="keyword">and</span> <span><span class="keyword">type</span> <a href=