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

indices

abstract val indices: List<KExpr<KSort>>