mk
open fun <R : KSort> mkArrayNSelectNoSimplify(array: KExpr<KArrayNSort<R>>, indices: List<KExpr<*>>): KArrayNSelect<R>
Create n-ary array select expression (select array_0 ... indices_n).