mk
open fun <T : KBvSort> mkBvArithShiftRightExprNoSimplify(arg: KExpr<T>, shift: KExpr<T>): KBvArithShiftRightExpr<T>
Create BitVec arithmetic shift right (bvashr) expression. The shifted expressions is padded with sign (leftmost, highest) bits.