 <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Costlib</a> &#x00BB; <a href="../index.html">CostUtils</a> &#x00BB; S</nav><header class="odoc-preamble"><h1>Module type <code><span>CostUtils.S</span></code></h1><p>Module type for getting length of various data types</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-length"><a href="#val-length" class="anchor"></a><code><span><span class="keyword">val</span> length : 
  <span><a