Z3_func_entry typedef

Z3_func_entry = Pointer<_Z3_func_entry>

Implementation

typedef Z3_func_entry = ffi.Pointer<_Z3_func_entry>;