lass="keywordsign">-&gt;</span>&nbsp;</code><code class="type"><a href="Identifiable.Thing.html">Thing</a></code><code class="type">  with type t = A.t * B.t</code></div></div></pre>
<pre><span id="MODULETYPESet"><span class="keyword">module type</span> <a href="Identifiable.Set.html">Set</a></span> = <code class="code"><span class="keyword">sig</span></code> <a href="Identifiable.Set.html">..</a> <code class="code"><span class="keyword">end</span></code></pre>
<pre><span id="MODULETYPEMap"><span class="key