mk
open fun <T : KBvSort> mkBvRotateLeftIndexedExprNoSimplify(rotation: Int, value: KExpr<T>): KBvRotateLeftIndexedExpr<T>
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.