Type Alias Z3_char_ptr 

pub type Z3_char_ptr = *const c_char;

Pointer to a C string (same underlying type as Z3_string but used as output).