="spec value" id="val-mk_interprocedural_field_t"><a href="#val-mk_interprocedural_field_t" class="anchor"></a><code><span class="keyword">val</span> mk_interprocedural_field_t : <span><span>(<a href="../Payloads/index.html#type-t">Payloads.t</a>, <span><span class="type-var">'payload</span> option</span>)</span> <a href="../../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.Field.t</span> <span>&#45;&gt;</span> <a href="../../Absint/Exe_env/index.html#type-t">Absint.Exe_env.t</a> <span>&#45;&gt;</span> <