emented: ...</code><br>
</div>
<pre><span id="VALs"><span class="keyword">val</span> s</span> : <code class="type">'a -> 'b</code></pre><div class="info">
Stop the execution by raising an Error.<br>
</div>
<pre><span id="VALhadErrors"><span class="keyword">val</span> hadErrors</span> : <code class="type">bool ref</code></pre><div class="info">
This is set whenever one of the above error functions are called. It must
    be cleared manually<br>
</div>
<pre><span id="VALwarn"><span class="keyword">val</span> 