ations are provided in module <a href="String.html"><code class="code"><span class="constructor">String</span></code></a>.<br>

</p><pre><span id="VAL(^)"><span class="keyword">val</span> (^)</span> : <code class="type">string -&gt; string -&gt; string</code></pre><div class="info ">
String concatenation.<br>
</div>
<br>
<h6 id="6_Characteroperations">Character operations</h6>
<p>

   More character operations are provided in module <a href="Char.html"><code class="code"><span class="constructor">Char</span