mk
open fun <T : KBvSort> mkBvShiftLeftExprNoSimplify(arg: KExpr<T>, shift: KExpr<T>): KBvShiftLeftExpr<T>
Create BitVec shift left (bvshl) expression.
Create BitVec shift left (bvshl) expression.