mk
open fun <T : KBvSort> mkBvLogicalShiftRightExprNoSimplify(arg: KExpr<T>, shift: KExpr<T>): KBvLogicalShiftRightExpr<T>
Create BitVec logical shift right (bvlshr) expression. The shifted expressions is padded with zero bits.