Z3_func_interp typedef

Z3_func_interp = Pointer<_Z3_func_interp>

Implementation

typedef Z3_func_interp = ffi.Pointer<_Z3_func_interp>;