Z3_param_descrs typedef

Z3_param_descrs = Pointer<_Z3_param_descrs>

Implementation

typedef Z3_param_descrs = ffi.Pointer<_Z3_param_descrs>;