ksmt-core/io.ksmt/KContext/mkFpNegationExprNoSimplify

mkFpNegationExprNoSimplify

open fun <T : KFpSort> mkFpNegationExprNoSimplify(value: KExpr<T>): KFpNegationExpr<T>

Create Fp negation (fp.neg) expression.