Z3_rcf_num typedef

Z3_rcf_num = Pointer<_Z3_rcf_num>

Implementation

typedef Z3_rcf_num = ffi.Pointer<_Z3_rcf_num>;