ksmt-core/io.ksmt/KContext/mkArithUnaryMinusDecl

mkArithUnaryMinusDecl

fun <T : KArithSort> mkArithUnaryMinusDecl(arg: T): KArithUnaryMinusDecl<T>