[][src]Type Definition z3_sys::Z3_string_ptr

type Z3_string_ptr = *mut Z3_string;