es, the order of enumeration
   is entirely random.
</p><p>

   The behavior is not defined if the hash table is modified
   by <code class="code">f</code> during the iteration.<br>
</p></div>

<pre><span id="VALlength"><span class="keyword">val</span> length</span> : <code class="type">('a, 'b) <a href="Hashtbl.html#TYPEt">t</a> -&gt; int</code></pre><div class="info ">
<code class="code"><span class="constructor">Hashtbl</span>.length&nbsp;tbl</code> returns the number of bindings in <code class="code">tb