ksmt-core/io.ksmt.expr/KArrayStoreBase/searchForIndex

searchForIndex

fun searchForIndex(index: KExpr<*>, indexKind: Int): KExpr<A>