seqToRe function

Expr seqToRe(Expr x)

Implementation

Expr seqToRe(Expr x) => UnaryOp(UnaryOpKind.seqToRe, x).declare();