Method mkArraySort

src/api/java/Context.java:230–235

Create a new array sort.

(D domain, R range)

     * Create a new array sort.
     **/
    public final <D extends Sort, R extends Sort> ArraySort<D, R> mkArraySort(D domain, R range)
    {
        checkContextMatch(domain);
        checkContextMatch(range);
        return new ArraySort<>(this, domain, range);
    }


    /**