Z3_pattern typedef

Z3_pattern = Pointer<_Z3_pattern>

Implementation

typedef Z3_pattern = ffi.Pointer<_Z3_pattern>;