ype-file_t.source_file" class="anchor"></a><code><span>source_file : <a href="../../IBase/SourceFile/index.html#type-t">IBase.SourceFile.t</a>;</span></code></td><td class="def-doc"><span class="comment-delim">(*</span><p>the source file under analysis</p><span class="comment-delim">*)</span></td></tr><tr id="type-file_t.procedures" class="anchored"><td class="def record field"><a href="#type-file_t.procedures" class="anchor"></a><code><span>procedures : <span><a href="../../IR/Procname/index.html#type-t">I