xe_env/index.html#type-t"><code>Exe_env.t</code></a> for the current analysis</p><span class="comment-delim">*)</span></td></tr><tr id="type-file_t.analyze_file_dependency" class="anchored"><td class="def record field"><a href="#type-file_t.analyze_file_dependency" class="anchor"></a><code><span>analyze_file_dependency : <span><a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'payload</span> option</span>;</span></code></