 a nonnegative integer to any value of
   any type. It is guaranteed that
   if <code class="code">x&nbsp;=&nbsp;y</code> or <code class="code"><span class="constructor">Pervasives</span>.compare&nbsp;x&nbsp;y&nbsp;=&nbsp;0</code>, then <code class="code">hash&nbsp;x&nbsp;=&nbsp;hash&nbsp;y</code>.
   Moreover, <code class="code">hash</code> always terminates, even on cyclic structures.<br>
</div>

<pre><span id="VALseeded_hash"><span class="keyword">val</span> seeded_hash</span> : <code class="type">int -&