� <a href="../../../../../index.html">bastet</a> &#x00BB; <a href="../../../../index.html">Bastet</a> &#x00BB; <a href="../../../index.html">Test</a> &#x00BB; <a href="../../index.html">Float</a> &#x00BB; <a href="../index.html">Additive</a> &#x00BB; Loop</nav><h1>Module <code>Additive.Loop</code></h1></header><div class="spec module" id="module-V"><a href="#module-V" class="anchor"></a><code><span class="keyword">module</span> <a href="V/index.html">V</a> : <span class="keyword">sig</span> ... <span class=