ld checker</code> expects <code>checker</code> to compute an <span class="xref-unresolved" title="unresolved reference to &quot;IssueLog.t&quot;"><code>IssueLog</code>.t</span> from the file-level analysis, given an inter-procedural analysis of dependencies that computes the payload type corresponding to <code>field</code></p></dd></dl><dl><dt class="spec value" id="val-intraprocedural"><a href="#val-intraprocedural" class="anchor"></a><code><span class="keyword">val</span> intraprocedural : <span>(<a href=