Z3_goal typedef

Z3_goal = Pointer<_Z3_goal>

Implementation

typedef Z3_goal = ffi.Pointer<_Z3_goal>;