 = <a href="argument-1-T/index.html#type-analysis_data">T.analysis_data</a></span>
   <span class="keyword">and</span> <span><span class="keyword">module</span> <a href="../module-type-S/TransferFunctions/CFG/index.html">TransferFunctions.CFG</a> = <a href="argument-1-T/CFG/index.html">T.CFG</a></span>
   <span class="keyword">and</span> <span><span class="keyword">type</span> <a href="../module-type-S/TransferFunctions/Domain/index.html#type-t">TransferFunctions.Domain.t</a> =
         <span><a href="argum