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

pub type Z3_string = *const c_char;
Expand description

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