Type Alias Z3_string

pub type Z3_string = *const c_char;

Z3 string type. It is just an alias for const char *.