ype-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code></dt><dd><p>Abstract type for equatable values.</p></dd></dl><dl><dt class="spec value" id="val-equal"><a href="#val-equal" class="anchor"></a><code><span class="keyword">val</span> equal : <span><a href="index.html#type-t">t</a> <a href="../../index.html#type-equality">equality</a></span></code></dt><dd><p><code>equal t1 t2</code> tests if the values <code>t1</code> and <code>t2</code> are equal, and is used by the 