lute</a> &#x00BB; <a href="../index.html">Itv</a> &#x00BB; Eval</nav><h1>Module <code>Itv.Eval</code></h1></header><h3 class="heading">Parameters</h3><ul><li><code><a href="argument-1-B/index.html">B</a> : <a href="../../Bound_sig/index.html#module-type-BOUND">Bound_sig.BOUND</a></code></li></ul><h3 class="heading">Signature</h3><div class="spec module" id="module-B"><a href="#module-B" class="anchor"></a><code><span class="keyword">module</span> B = <a href="index.html#argument-1-B">B</a></code></div><dl><