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