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

simplifyArithMul

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