Method mkBoolSort

src/api/java/Context.java:161–164

Create a new Boolean sort.

()

     * Create a new Boolean sort.
     **/
    public BoolSort mkBoolSort()
    {
        return new BoolSort(this);
    }

    /**
     * Creates character sort object.