                 
                </div>
                </div> </td></tr>
<tr><td><a href="Belt_Id.html#TYPEcmp">cmp</a> [<a href="Belt_Id.html">Belt_Id</a>]</td>
<td> <div class="info">                     
                <div class="not-examples">
                    <code class="code">('a,'id) cmp</code>
<p>

    Its runtime representation is a <code class="code">cmp</code> function, but signed with a
    type parameter, so that different hash functions type mismatch<br>
 
                </div>
      