mk
open fun <D : KSort, R : KSort> mkArraySelect(array: KExpr<KArraySort<D, R>>, index: KExpr<D>): KExpr<R>
Create an array select expression (select array).
open fun <D0 : KSort, D1 : KSort, R : KSort> mkArraySelect(array: KExpr<KArray2Sort<D0, D1, R>>, index0: KExpr<D0>, index1: KExpr<D1>): KExpr<R>