<code>=</code> and <code>&lt;&gt;</code> operators.</p></dd></dl></details></div></div></div><dl><dt class="spec value" id="val-not_equal"><a href="#val-not_equal" class="anchor"></a><code><span class="keyword">val</span> not_equal : <span><a href="index.html#type-t">t</a> <a href="../../index.html#type-equality">equality</a></span></code></dt><dd><p><code>not_equal t1 t2</code> tests if the values <code>t1</code> and <code>t2</code> are <i>not</i> equal, and is used by <code>&lt;&gt;</code>.</p><p><code>no