Z3_apply_result typedef

Z3_apply_result = Pointer<_Z3_apply_result>

Implementation

typedef Z3_apply_result = ffi.Pointer<_Z3_apply_result>;