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

simplifyArithPower

fun <T : KArithSort> KContext.simplifyArithPower(lhs: KExpr<T>, rhs: KExpr<T>): KExpr<T>