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

i

val i: Int