o ">
Print an integer, in decimal, on standard output.<br>
</div>

<pre><span id="VALprint_float"><span class="keyword">val</span> print_float</span> : <code class="type">float -&gt; unit</code></pre><div class="info ">
Print a floating-point number, in decimal, on standard output.<br>
</div>

<pre><span id="VALprint_endline"><span class="keyword">val</span> print_endline</span> : <code class="type">string -&gt; unit</code></pre><div class="info ">
Print a string, followed by a newline character, on
   stan