 href="Js_types.html#TYPEfunction_val">function_val</a> [<a href="Js_types.html">Js_types</a>]</td>
<td> <div class="info">                     
                <div class="not-examples">
                     
                </div>
                </div> </td></tr>
<tr><td align="left"><br>H</td></tr>
<tr><td><a href="Belt_Id.html#TYPEhash">hash</a> [<a href="Belt_Id.html">Belt_Id</a>]</td>
<td> <div class="info">                     
                <div class="not-examples">
                    <code cla