ksmt-core/io.ksmt.decl/KBvRotateRightIndexedDecl/i

i

val i: Int