Z3_context typedef

Z3_context = Pointer<_Z3_context>

Implementation

typedef Z3_context = ffi.Pointer<_Z3_context>;