Method mkEnumSort

src/api/java/Context.java:289–295

Create a new enumeration sort.

(Symbol name, Symbol... enumNames)

     * Create a new enumeration sort.
     **/
    public final <R> EnumSort<R> mkEnumSort(Symbol name, Symbol... enumNames)

    {
        checkContextMatch(name);
        checkContextMatch(enumNames);
        return new EnumSort<>(this, name, enumNames);
    }

    /**
     * Create a new enumeration sort.