sferFunctions.SIL</a>
    <span class="keyword">with</span> <span><span class="keyword">type</span> <a href="../../TransferFunctions/module-type-SIL/index.html#type-analysis_data">analysis_data</a> = <a href="argument-1-T/index.html#type-analysis_data">T.analysis_data</a></span>
    <span class="keyword">with</span> <span><span class="keyword">module</span> <a href="../../TransferFunctions/module-type-SIL/CFG/index.html">CFG</a> = <a href="argument-1-T/CFG/index.html">T.CFG</a></span>
    <span class="keywo