Method mkArrayConst

src/api/java/Context.java:1841–1845

Create an array constant.

(Symbol name, D domain, R range)

     * Create an array constant.
     **/
    public final <D extends Sort, R extends Sort> ArrayExpr<D, R> mkArrayConst(Symbol name, D domain, R range)

    {
        return (ArrayExpr<D, R>) mkConst(name, mkArraySort(domain, range));
    }

    /**
     * Create an array constant.