Z3_config typedef

Z3_config = Pointer<_Z3_config>

Implementation

typedef Z3_config = ffi.Pointer<_Z3_config>;