ode">rindex&nbsp;s&nbsp;c</code> is <a href="String.html#VALrindex_from"><code class="code"><span class="constructor">String</span>.rindex_from</code></a><code class="code">&nbsp;s&nbsp;(length&nbsp;s&nbsp;-&nbsp;1)&nbsp;c</code>.</p>
</div>
</div>

<pre><span id="VALrindex_opt"><span class="keyword">val</span> rindex_opt</span> : <code class="type">string -&gt; char -&gt; int option</code></pre><div class="info ">
<div class="info-desc">
<p><code class="code">rindex_opt&nbsp;s&nbsp;c</code> is <a href="Str