pan> input_char</span> : <code class="type"><a href="Pervasives.html#TYPEin_channel">in_channel</a> -&gt; char</code></pre><div class="info ">
Read one character from the given input channel.
   Raise <code class="code"><span class="constructor">End_of_file</span></code> if there are no more characters to read.<br>
</div>

<pre><span id="VALinput_line"><span class="keyword">val</span> input_line</span> : <code class="type"><a href="Pervasives.html#TYPEin_channel">in_channel</a> -&gt; string</code></pre><div