/Constraint/index.html#type-cmpop">Libabsolute.Constraint.cmpop</a> * <a href="../../Libabsolute/Expr/index.html#type-t">Libabsolute.Expr.t</a>)</span> <span>&#45;&gt;</span> <a href="../../Libabsolute/Expr/index.html#type-t">Libabsolute.Expr.t</a> * Mpqf.t * Mpqf.t</code></dt></dl></div></body></html>