/p>
</div>
</div>

<pre><span id="MODULEArray"><span class="keyword">module</span> <a href="Float.Array.html">Array</a></span>: <code class="code"><span class="keyword">sig</span></code> <a href="Float.Array.html">..</a> <code class="code"><span class="keyword">end</span></code></pre>
<pre><span id="MODULEArrayLabels"><span class="keyword">module</span> <a href="Float.ArrayLabels.html">ArrayLabels</a></span>: <code class="code"><span class="keyword">sig</span></code> <a href="Float.ArrayLabels.html">..</a> 