parameters: (s, ctx=None)
return_statement: return SeqRef(Z3_mk_string(ctx.ref(), s), ctx)
docstring: create a string expression
docstring_summary: create a string expression
docstring_tokens: create a string expression
function: def StringVal(s, ctx=None):
      """create a string expression"""
      s = "".join(str(ch) if 32 <= ord(ch) and ord(ch) < 127 else "\\u{%x}" % (ord(ch)) for ch in s)
      ctx = _get_ctx(ctx)
      return SeqRef(Z3_mk_string(ctx.ref(), s), ctx)
function_tokens: def StringVal ( s , ctx = None ) : s = "" . join ( str ( ch ) if 32 <= ord ( ch ) and ord ( ch ) < 127 else "\\u{%x}" % ( ord ( ch ) ) for ch in s ) ctx = _get_ctx ( ctx ) return SeqRef ( Z3_mk_string ( ctx . ref ( ) , s ) , ctx )