mk
open fun <T : KBvSort> mkBvRotateRightExprNoSimplify(arg: KExpr<T>, rotation: KExpr<T>): KBvRotateRightExpr<T>
Create BitVec rotate right (rotateright) expression. The result expression is rotated right rotation times.
See also
for the rotation by a known number of bits.