an></code></dt></dl><dl><dt class="spec type" id="type-eq"><a href="#type-eq" class="anchor"></a><code><span class="keyword">type</span> <span>(_, _) eq</span></code><code> = </code><table class="variant"><tr id="type-eq.Eq" class="anchored"><td class="def constructor"><a href="#type-eq.Eq" class="anchor"></a><code>| </code><code><span class="constructor">Eq</span> : <span><span>(<span class="type-var">'a</span>, <span class="type-var">'a</span>)</span> <a href="index.html#type-eq">eq</a></span></code></td