parameters: (s, ctx=None)
return_statement: return ReRef(Z3_mk_seq_to_re(s.ctx_ref(), s.as_ast()), s.ctx)
docstring: The regular expression that accepts sequence 's'
      >>> s1 = Re("ab")
      >>> s2 = Re(StringVal("ab"))
      >>> s3 = Re(Unit(BoolVal(True)))
docstring_summary: The regular expression that accepts sequence 's'
      >>> s1 = Re("ab")
      >>> s2 = Re(StringVal("ab"))
      >>> s3 = Re(Unit(BoolVal(True)))
docstring_tokens: The regular expression that accepts sequence s >>> s1 = Re ( ab ) >>> s2 = Re ( StringVal ( ab )) >>> s3 = Re ( Unit ( BoolVal ( True )))
function: def Re(s, ctx=None):
      """The regular expression that accepts sequence 's'
      >>> s1 = Re("ab")
      >>> s2 = Re(StringVal("ab"))
      >>> s3 = Re(Unit(BoolVal(True)))
      """
      s = _coerce_seq(s, ctx)
      return ReRef(Z3_mk_seq_to_re(s.ctx_ref(), s.as_ast()), s.ctx)
function_tokens: def Re ( s , ctx = None ) : s = _coerce_seq ( s , ctx ) return ReRef ( Z3_mk_seq_to_re ( s . ctx_ref ( ) , s . as_ast ( ) ) , s . ctx )