e class="code">f1</code>, then
  arguments from <code class="code">f2</code>; in case of formatted input, it returns results from
  <code class="code">f1</code>, then results from <code class="code">f2</code>.<br>
</div>
<br>
<h6 id="6_Programtermination">Program termination</h6><br>

<pre><span id="VALexit"><span class="keyword">val</span> exit</span> : <code class="type">int -&gt; 'a</code></pre><div class="info ">
Terminate the process, returning the given status code
   to the operating system: usually 