/a><code><span class="keyword">val</span> minmax : <span>Apronext.Intervalext.t array</span> <span>&#45;&gt;</span> int <span>&#45;&gt;</span> Mpqf.t <span>&#45;&gt;</span> int <span>&#45;&gt;</span> Mpqf.t <span>&#45;&gt;</span> Apron.Scalar.t * int * Apron.Scalar.t</code></dt><dt class="spec value" id="val-generate_linexpr"><a href="#val-generate_linexpr" class="anchor"></a><code><span class="keyword">val</span> generate_linexpr : <a href="index.html#module-E">E</a>.t <span>&#45;&gt;</span> <span>float ar