Method mkUninterpretedSort

src/api/java/Context.java:189–193

Create a new uninterpreted sort.

(Symbol s)

     * Create a new uninterpreted sort.
     **/
    public UninterpretedSort mkUninterpretedSort(Symbol s)
    {
        checkContextMatch(s);
        return new UninterpretedSort(this, s);
    }

    /**
     * Create a new uninterpreted sort.