p;x&nbsp;y,&nbsp;max&nbsp;x&nbsp;y)</code>, just more efficient.</p>
</div>
<ul class="info-attributes">
<li><b>Since</b> 4.08.0</li>
</ul>
</div>

<pre><span id="VALmin_num"><span class="keyword">val</span> min_num</span> : <code class="type"><a href="Float.html#TYPEt">t</a> -&gt; <a href="Float.html#TYPEt">t</a> -&gt; <a href="Float.html#TYPEt">t</a></code></pre><div class="info ">
<div class="info-desc">
<p><code class="code">min_num&nbsp;x&nbsp;y</code> returns the minimum of <code class="code">x</code>