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

simplifyBvConcatExpr

fun <T : KBvSort, S : KBvSort> KContext.simplifyBvConcatExpr(lhs: KExpr<T>, rhs: KExpr<S>): KExpr<KBvSort>