ervasives.html#TYPEout_channel">out_channel</a> -&gt; <a href="Terminfo.html#TYPEstatus">status</a></code></pre>
<pre><span id="VALbackup"><span class="keyword">val</span> backup</span> : <code class="type">int -&gt; unit</code></pre>
<pre><span id="VALstandout"><span class="keyword">val</span> standout</span> : <code class="type">bool -&gt; unit</code></pre>
<pre><span id="VALresume"><span class="keyword">val</span> resume</span> : <code class="type">int -&gt; unit</code></pre><div class="copyright">The pr