mk
open fun <R : KSort> mkArrayNStoreNoSimplifyNoAnalyze(array: KExpr<KArrayNSort<R>>, indices: List<KExpr<*>>, value: KExpr<R>): KArrayNStore<R>
Create n-ary array store expression (store array_0 ... indices_n value) without cache. Cache is used to speed up mkArrayNSelect operation simplification but can result in a huge memory consumption.
See also
for the cache details.