Z3_string_ptr typedef

Z3_string_ptr = Pointer<Z3_string>

Implementation

typedef Z3_string_ptr = ffi.Pointer<Z3_string>;