><span id="VALprerr_endline"><span class="keyword">val</span> prerr_endline</span> : <code class="type">string -&gt; unit</code></pre><div class="info ">
Print a string, followed by a newline character on standard
   error and flush standard error.<br>
</div>

<pre><span id="VALprerr_newline"><span class="keyword">val</span> prerr_newline</span> : <code class="type">unit -&gt; unit</code></pre><div class="info ">
Print a newline character on standard error, and flush
   standard error.<br>
</div>
<br>
<div 