StringLabels</span>: <code class="code"><span class="keyword">sig</span></code> <a href="StringLabels.html">..</a> <code class="code"><span class="keyword">end</span></code></pre><div class="info module top">
<div class="info-desc">
<p>Strings.</p>

<p>A string <code class="code">s</code> of length <code class="code">n</code> is an indexable and immutable sequence
    of <code class="code">n</code> bytes. For historical reasons these bytes are referred to
    as characters.</p>

<p>The semantics of string f