ksmt-core/io.ksmt.expr/KArrayStore/getIndex

getIndex

open override fun getIndex(idx: Int): KExpr<*>