ion operation (min, max, sum, or product).</p>
<div id="minimum-and-maximum" class="section level3">
<h3 number="4.1.1"><span class="header-section-number">4.1.1</span> Minimum and Maximum</h3>
<!-- real; min; (real[] x); -->
<p></p>
<p><code>real</code> <strong><code>min</code></strong><code>(real[] x)</code><br>
The minimum value in x, or <span class="math inline">\(+\infty\)</span> if x is size 0.</p>
<!-- int; min; (int[] x); -->
<p></p>
<p><code>int</code> <strong><code>min</code></strong><code>(int[] 