warn</span> : <code class="type">('a, unit, <a href="Pretty.html#TYPEdoc">Pretty.doc</a>, unit) format4 -> 'a</code></pre><div class="info">
Like <a href="Errormsg.html#VALerror"><code class="code">Errormsg.error</code></a> but does not raise the <a href="Errormsg.html#EXCEPTIONError"><code class="code">Errormsg.Error</code></a> 
 exception. Return type is unit.<br>
</div>
<pre><span id="VALwarnOpt"><span class="keyword">val</span> warnOpt</span> : <code class="type">('a, unit, <a href="Pretty.html#TYPEdoc"