="type-var">'payload_checker</span> <span>&#45;&gt;</span> <a href="../Payloads/index.html#type-t">Payloads.t</a>)</span></span> <span>&#45;&gt;</span> <span>(<span><span class="type-var">'payloads</span> <a href="../../Absint/InterproceduralAnalysis/index.html#type-t">Absint.InterproceduralAnalysis.t</a></span> <span>&#45;&gt;</span> <span class="type-var">'payload_checker</span>)</span> <span>&#45;&gt;</span> <a href="../Callbacks/index.html#type-proc_callback_t">Callbacks.proc_callback_t</a></code></dt><