Method mkFiniteDomainSort

src/api/java/Context.java:328–333

Create a new finite domain sort.

(Symbol name, long size)

     * Create a new finite domain sort.
     **/
    public final <R> FiniteDomainSort<R> mkFiniteDomainSort(Symbol name, long size)

    {
        checkContextMatch(name);
        return new FiniteDomainSort<>(this, name, size);
    }

    /**
     * Create a new finite domain sort.