erface.EQ</a> <span class="keyword">with</span> <span class="keyword">type</span> <a href="argument-2-E/index.html#type-t">t</a> = <a href="argument-1-L/index.html#type-t">L.t</a></code></li></ul><h3 class="heading">Signature</h3><div class="spec module" id="module-I"><a href="#module-I" class="anchor"></a><code><span class="keyword">module</span> <a href="I/index.html">I</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><dl><dt class="spec value" id="val-identity"><a h