Function Z3_get_lstring 

pub unsafe extern "C" fn Z3_get_lstring(
    c: Z3_context,
    s: Z3_ast,
    length: *mut c_uint,
) -> Z3_char_ptr

Retrieve the string constant stored in s. The string can contain escape sequences. Characters in the range 1 to 255 are literal. Characters in the range 0, and 256 above are escaped.

Preconditions

• Z3_is_string(c, s)