mk
open fun <A : KArraySortBase<R>, R : KSort> mkFunctionAsArray(sort: A, function: KFuncDecl<R>): KFunctionAsArray<A, R>
Create a function-as-array expression (_ as-array function).
Maps all array indices to the corresponding value of function. If (= A (_ as-array f)) then (forall (i (domain f)) (= (select A i) (f i)))