Method mkSeqSort

src/api/java/Context.java:259–262

Create a new sequence sort

(R s)

     * Create a new sequence sort
     **/
    public final <R extends Sort> SeqSort<R> mkSeqSort(R s)
    {
        return new SeqSort<>(this, Native.mkSeqSort(nCtx(), s.getNativeObject()));
    }

    /**
     * Create a new regular expression sort