 id="MODULETYPEThing"><span class="keyword">module type</span> <a href="Identifiable.Thing.html">Thing</a></span> = <code class="code"><span class="keyword">sig</span></code> <a href="Identifiable.Thing.html">..</a> <code class="code"><span class="keyword">end</span></code></pre>
<pre><span id="MODULEPair"><span class="keyword">module</span> <a href="Identifiable.Pair.html">Pair</a></span>: <div class="sig_block"><code class="code"><span class="keyword">functor</span>&nbsp;(</code><code class="code"><span c