IR/Sil/index.html"><code>IR.Sil</code></a>.</p><p>The control flow graph module is <a href="IR/Cfg/index.html"><code>IR.Cfg</code></a>.</p><p>The type environment module is <a href="IR/Tenv/index.html"><code>IR.Tenv</code></a>.</p></header><div class="odoc-content"></div></body></html>
