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