/CFG/Node/index.html#type-t">TransferFunctions.CFG.Node.t</a> = <a href="../../../IR/Procdesc/Node/index.html#type-t">IR.Procdesc.Node.t</a></span></span></code></div></div><h2 id="signature"><a href="#signature" class="anchor"></a>Signature</h2><div class="odoc-spec"><div class="spec module anchored" id="module-T"><a href="#module-T" class="anchor"></a><code><span><span class="keyword">module</span> T</span><span> = <a href="argument-1-I/TransferFunctions/index.html">I.TransferFunctions</a></span></code></