odule" id="module-Eq"><a href="#module-Eq" class="anchor"></a><code><span class="keyword">module</span> <a href="Eq/index.html">Eq</a> : <a href="index.html#module-type-EQ_F">EQ_F</a></code></div><div class="spec module" id="module-Ord"><a href="#module-Ord" class="anchor"></a><code><span class="keyword">module</span> <a href="Ord/index.html">Ord</a> : <a href="index.html#module-type-ORD_F">ORD_F</a></code></div><div class="spec module" id="module-Bounded"><a href="#module-Bounded" class="anchor"></a><code>