ksmt-core/io.ksmt.expr/KArrayNStore/indices

indices

open override val indices: List<KExpr<KSort>>