s <code>checker</code> to compute a payload (option) suitable for <code>field</code>, given an inter-procedural analysis of callees that computes the same payload type</p></dd></dl><dl><dt class="spec value" id="val-interprocedural_file"><a href="#val-interprocedural_file" class="anchor"></a><code><span class="keyword">val</span> interprocedural_file : <span><span>(<a href="../Payloads/index.html#type-t">Payloads.t</a>, <span><span class="type-var">'payload</span> option</span>)</span> <a href="../../IStdl