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

simplifyBvExtractExpr

fun <T : KBvSort> KContext.simplifyBvExtractExpr(high: Int, low: Int, value: KExpr<T>): KExpr<KBvSort>