Method mkStringSort

src/api/java/Context.java:251–254

Create a new string sort

()

     * Create a new string sort
     **/
    public SeqSort<CharSort> mkStringSort()
    {
        return new SeqSort<>(this, Native.mkStringSort(nCtx()));
    }

    /**
     * Create a new sequence sort