html">infer</a> &#x00BB; <a href="../../index.html">Costlib</a> &#x00BB; <a href="../index.html">CostModels</a> &#x00BB; Call</nav><h1>Module <code>CostModels.Call</code></h1></header><dl><dt class="spec value" id="val-dispatch"><a href="#val-dispatch" class="anchor"></a><code><span class="keyword">val</span> dispatch : <span><span>(<a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a>, <a href="../../CostUtils/index.html#type-model">CostUtils.model</a>, unit)</span> <a href="../../../Absint/Procname