dd><p>the general form of interprocedural checkers: can read and update several payloads, and massage analysis results (mostly used to join option types)</p></dd></dl><dl><dt class="spec value" id="val-interprocedural_with_field"><a href="#val-interprocedural_with_field" class="anchor"></a><code><span class="keyword">val</span> interprocedural_with_field : <span><span>(<a href="../Payloads/index.html#type-t">Payloads.t</a>, <span><span class="type-var">'payload</span> option</span>)</span> <a href="../../I