ode><table><tr id="type-proc_callback_args.summary" class="anchored"><td class="def record field"><a href="#type-proc_callback_args.summary" class="anchor"></a><code><span>summary : <a href="../Summary/index.html#type-t">Summary.t</a>;</span></code></td></tr><tr id="type-proc_callback_args.exe_env" class="anchored"><td class="def record field"><a href="#type-proc_callback_args.exe_env" class="anchor"></a><code><span>exe_env : <a href="../../Absint/Exe_env/index.html#type-t">Absint.Exe_env.t</a>;</span></cod