mk
Create BitVec rotate left (rotateleft) expression. The result expression is rotated left rotation times.
See also
for the rotation by a symbolic (any BitVec expression) number of bits.