 href="../index.html">Up</a> â€“ <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Costlib</a> &#x00BB; <a href="../index.html">CostDomain</a> &#x00BB; BasicCostWithReason</nav><header class="odoc-preamble"><h1>Module <code><span>CostDomain.BasicCostWithReason</span></code></h1><p>This is for <code>Call</code> instruction. Most top cost function is caused by calling top-costed function. The extension aims to find the root callee with top cost.</p><p>If the callee top cost and 