pub unsafe extern "C" fn Z3_get_string( c: Z3_context, s: Z3_ast) -> Z3_string
Retrieve the string constant stored in s.
s
Z3_is_string(c, s)