class="h7" id="7_Inputfunctionsonstandardinput">Input functions on standard input</div><br>

<pre><span id="VALread_line"><span class="keyword">val</span> read_line</span> : <code class="type">unit -&gt; string</code></pre><div class="info ">
Flush standard output, then read characters from standard input
   until a newline character is encountered. Return the string of
   all characters read, without the newline character at the end.<br>
</div>

<pre><span id="VALread_int"><span class="keyword">val</span> 