[−][src]Type Definition z3_sys::Z3_string

type Z3_string = *const c_char;

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