l</span> split</span> : <code class="type">string -&gt; char -&gt; string list</code></pre><div class="info ">
<code class="code"><span class="constructor">String</span>.split string char</code> splits the string <code class="code">string</code> at every char
    <code class="code">char</code>, and returns the list of sub-strings between the chars.
    <code class="code"><span class="constructor">String</span>.concat (<span class="constructor">String</span>.make 1 c) (<span class="constructor">String</span>