e><span><span class="keyword">module</span> <a href="PreAnalysisTransferFunctions/index.html">PreAnalysisTransferFunctions</a></span><span>
  (<a href="PreAnalysisTransferFunctions/argument-1-CFG/index.html">CFG</a> : <a href="../../Absint/ProcCfg/module-type-S/index.html">Absint.ProcCfg.S</a>) : 
  <a href="../../Absint/AbstractInterpreter/module-type-TransferFunctions/index.html">Absint.AbstractInterpreter.TransferFunctions</a>
    <span class="keyword">with</span> <span><span class="keyword">module</span