 that
   <code class="code">e1 == e2</code> implies <code class="code">compare e1 e2 = 0</code>.<br>
</div>

<pre><span id="VAL(!=)"><span class="keyword">val</span> (!=)</span> : <code class="type">'a -&gt; 'a -&gt; bool</code></pre><div class="info ">
Negation of <a href="Pervasives.html#VAL(==)"><code class="code">(==)</code></a>.<br>
</div>
<br>
<h6 id="6_Booleanoperations">Boolean operations</h6><br>

<pre><span id="VALnot"><span class="keyword">val</span> not</span> : <code class="type">bool -&gt; boo