pub type Z3_string = *const c_char;
Z3 string type. It is just an alias for const char *.
const char *