ksmt-core/io.ksmt.expr.rewrite.simplify/simplifyArithSub

simplifyArithSub

fun <T : KArithSort> KContext.simplifyArithSub(args: List<KExpr<T>>): KExpr<T>