>.next_after</code></a>.</p>
</div>
<ul class="info-attributes">
<li><b>Since</b> 4.08.0</li>
</ul>
</div>

<pre><span id="VALpred"><span class="keyword">val</span> pred</span> : <code class="type">float -&gt; float</code></pre><div class="info ">
<div class="info-desc">
<p><code class="code">pred&nbsp;x</code> returns the floating-point number right before <code class="code">x</code> i.e.,
   the greatest floating-point number smaller than <code class="code">x</code>.  See also
   <a href="Float.html#VALne