mk
open fun <T : KFpSort> mkFpLessOrEqualExprNoSimplify(arg0: KExpr<T>, arg1: KExpr<T>): KFpLessOrEqualExpr<T>
Create Fp less-or-equal comparison (fp.leq) expression.
Create Fp less-or-equal comparison (fp.leq) expression.