ksmt-core/io.ksmt.decl/KUninterpretedSortValueDecl/valueIdx

valueIdx

val valueIdx: Int