Z3_func_decl typedef

Z3_func_decl = Pointer<_Z3_func_decl>

Implementation

typedef Z3_func_decl = ffi.Pointer<_Z3_func_decl>;