mk
open fun <A : KArraySortBase<R>, R : KSort> mkArrayConst(arraySort: A, value: KExpr<R>): KArrayConst<A, R>
Create a constant array expression ((as const arraySort) value).
Maps all indices to some fixed value. If (= C ((as const (Array D R)) value)) then (forall (i D) (= (select C i) value)).