Method mkToRe

src/api/java/Context.java:2399–2403

Convert a regular expression that accepts sequence s.

(Expr<SeqSort<R>> s)

     * Convert a regular expression that accepts sequence s.
     */
    public final <R extends Sort> ReExpr<SeqSort<R>> mkToRe(Expr<SeqSort<R>> s)
    {
        checkContextMatch(s);
        return (ReExpr<SeqSort<R>>) Expr.create(this, Native.mkSeqToRe(nCtx(), s.getNativeObject()));
    }


    /**