Method mkIntSort

src/api/java/Context.java:206–209

Create a new integer sort.

()

     * Create a new integer sort.
     **/
    public IntSort mkIntSort()
    {
        return new IntSort(this);
    }

    /**
     * Create a real sort.