Z3_symbol typedef

Z3_symbol = Pointer<_Z3_symbol>

Implementation

typedef Z3_symbol = ffi.Pointer<_Z3_symbol>;