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

i

val i: Int