

<pre><span id="VALtrim"><span class="keyword">val</span> trim</span> : <code class="type">string -&gt; string</code></pre><div class="info ">
<div class="info-desc">
<p><code class="code">trim&nbsp;s</code> is <code class="code">s</code> without leading and trailing whitespace. Whitespace
    characters are: <code class="code"><span class="string">'&nbsp;'</span></code>, <code class="code">'\x0C'</code> (form feed), <code class="code"><span class="string">'\n'</span></code>, <code class="code"><span class