index.html">infer</a> &#x00BB; <a href="../index.html">Backend</a> &#x00BB; CallbackOfChecker</nav><h1>Module <code>Backend.CallbackOfChecker</code></h1></header><aside><p>Conversions from checkers taking &quot;functional&quot; <span class="xref-unresolved" title="unresolved reference to &quot;Interprocedural.t&quot;"><code>Interprocedural</code>.t</span> et al. payloads to <a href="../Callbacks/index.html#type-proc_callback_t"><code>Callbacks.proc_callback_t</code></a> and friends.</p></aside><dl><dt class