ksmt-core/io.ksmt.expr/KBvRotateRightExpr/rotation

rotation

val rotation: KExpr<S>