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

indices

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