mk
open fun <T : KBvSort, S : KBvSort> mkBvConcatExprNoSimplify(arg0: KExpr<T>, arg1: KExpr<S>): KBvConcatExpr
Create BitVec concatenation (concat) expression.
Create BitVec concatenation (concat) expression.