t_eq t1 t2</code> is a shorthand for <code>not (equal t1 t2)</code>.</p></dd></dl><dl><dt class="spec value" id="val-(=)"><a href="#val-(=)" class="anchor"></a><code><span class="keyword">val</span> (=) : <span><a href="index.html#type-t">t</a> <a href="../../index.html#type-equality">equality</a></span></code></dt><dd><p>Operator alias for <a href="index.html#val-equal"><code>equal</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-(&lt;&gt;)"><a href="#val-(&lt;&gt;)" class="anchor"></a><code><sp