cher" class="anchor"></a><code><span class="keyword">type</span> <span>('context, 'f, 'arg_payload) dispatcher</span></code><code> = <span class="type-var">'context</span> <span>&#45;&gt;</span> <a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a> <span>&#45;&gt;</span> <span><span><span class="type-var">'arg_payload</span> <a href="FuncArg/index.html#type-t">FuncArg.t</a></span> list</span> <span>&#45;&gt;</span> <span><span class="type-var">'f</span> option</span></code></dt></dl><dl><dt class=