Z3_char_ptr typedef

Z3_char_ptr = Pointer<Char>

Implementation

typedef Z3_char_ptr = ffi.Pointer<ffi.Char>;