Method mkReSort

src/api/java/Context.java:267–270

Create a new regular expression sort

(R s)

     * Create a new regular expression sort
     **/
    public final <R extends Sort> ReSort<R> mkReSort(R s)
    {
        return new ReSort<>(this, Native.mkReSort(nCtx(), s.getNativeObject()));
    }


    /**