ksmt-core/io.ksmt.expr/KBvRotateLeftIndexedExpr/rotationNumber

rotationNumber

val rotationNumber: Int