ex.html#type-expr">Libabsolute.Csp.expr</a> <span>&#45;&gt;</span> Mpqf.t * Mpqf.t</code></dt><dt class="spec value" id="val-largest"><a href="#val-largest" class="anchor"></a><code><span class="keyword">val</span> largest : <span><span>Polka.strict Polka.t</span> <a href="index.html#module-A">A</a>.t</span> <span>&#45;&gt;</span> Apron.Var.t * Apron.Interval.t * <a href="../../Q/index.html#type-t">Libabsolute__.Q.t</a></code></dt><dt class="spec value" id="val-minmax"><a href="#val-minmax" class="anchor"><