ksmt-core/io.ksmt/KContext/mkArithUnaryMinus

mkArithUnaryMinus

open fun <T : KArithSort> mkArithUnaryMinus(arg: KExpr<T>): KExpr<T>

Create an Int/Real arithmetic negation expression.