f="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Costlib</a> &#x00BB; <a href="../index.html">CostAllocationModels</a> &#x00BB; ProcName</nav><h1>Module <code>CostAllocationModels.ProcName</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="../../CostDomain/BasicCost/index.html#type-t">CostDomain.Basi