n class="string">"false"</span></code>.<br>
</div>

<pre><span id="VALstring_of_int"><span class="keyword">val</span> string_of_int</span> : <code class="type">int -&gt; string</code></pre><div class="info ">
Return the string representation of an integer, in decimal.<br>
</div>

<pre><span id="VALint_of_string"><span class="keyword">val</span> int_of_string</span> : <code class="type">string -&gt; int</code></pre><div class="info ">
Convert the given string to an integer.
   The string is read in decimal (