Z3_sort typedef

Z3_sort = Pointer<_Z3_sort>

Implementation

typedef Z3_sort = ffi.Pointer<_Z3_sort>;