href="#type-sil" class="anchor"></a><code><span><span class="keyword">type</span> sil</span><span> = </span><span>{</span></code><ol><li id="type-sil.sourcefile" class="def record field anchored"><a href="#type-sil.sourcefile" class="anchor"></a><code><span>sourcefile : <a href="../../Textual/SourceFile/index.html#type-t">Textual.SourceFile.t</a>;</span></code></li><li id="type-sil.cfg" class="def record field anchored"><a href="#type-sil.cfg" class="anchor"></a><code><span>cfg : <a href="../../../IR/Cfg/in