R.Procname.t</a> list</span>;</span></code></td><td class="def-doc"><span class="comment-delim">(*</span><p>list of procedures declared in the source file</p><span class="comment-delim">*)</span></td></tr><tr id="type-file_t.file_exe_env" class="anchored"><td class="def record field"><a href="#type-file_t.file_exe_env" class="anchor"></a><code><span>file_exe_env : <a href="../Exe_env/index.html#type-t">Exe_env.t</a>;</span></code></td><td class="def-doc"><span class="comment-delim">(*</span><p><a href="../E