.procedures" class="anchored"><td class="def record field"><a href="#type-file_callback_args.procedures" class="anchor"></a><code><span>procedures : <span><a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a> list</span>;</span></code></td></tr><tr id="type-file_callback_args.source_file" class="anchored"><td class="def record field"><a href="#type-file_callback_args.source_file" class="anchor"></a><code><span>source_file : <a href="../../IBase/SourceFile/index.html#type-t">IBase.SourceFile.t</a>;