ksmt-core/io.ksmt/KContext/mkArithUnaryMinusNoSimplify

mkArithUnaryMinusNoSimplify

open fun <T : KArithSort> mkArithUnaryMinusNoSimplify(arg: KExpr<T>): KUnaryMinusArithExpr<T>

Create an Int/Real arithmetic negation expression.