Type Definition z3_sys::Z3_string_ptr

source · 
pub type Z3_string_ptr = *mut Z3_string;