</code></pre><div class="info ">
<div class="info-desc">
<p><code class="code">contains&nbsp;s&nbsp;c</code> is <a href="String.html#VALcontains_from"><code class="code"><span class="constructor">String</span>.contains_from</code></a><code class="code">&nbsp;s&nbsp;0&nbsp;c</code>.</p>
</div>
</div>
<h2 id="extract">Extracting substrings</h2>
<pre><span id="VALsub"><span class="keyword">val</span> sub</span> : <code class="type">string -&gt; pos:int -&gt; len:int -&gt; string</code></pre><div class="info ">