// SPDX-License-Identifier: MIT
/*******************************************************************
 * File automatically generated by rebuild_wrappers.py (v2.5.0.24) *
 *******************************************************************/
#ifndef __wrappedgmpTYPES_H_
#define __wrappedgmpTYPES_H_

#ifndef LIBNAME
#error You should only #include this file inside a wrapped*.c file
#endif
#ifndef ADDED_FUNCTIONS
#define ADDED_FUNCTIONS() 
#endif

typedef void (*vFppp_t)(void*, void*, void*);
typedef int32_t (*iFppV_t)(void*, void*, ...);
typedef int32_t (*iFppA_t)(void*, void*, va_list);
typedef int32_t (*iFSpV_t)(void*, void*, ...);
typedef int32_t (*iFSpA_t)(void*, void*, va_list);

#define SUPER() ADDED_FUNCTIONS() \
	GO(__gmp_get_memory_functions, vFppp_t) \
	GO(__gmp_set_memory_functions, vFppp_t) \
	GO(__gmp_asprintf, iFppV_t) \
	GO(__gmp_vasprintf, iFppA_t) \
	GO(__gmp_fprintf, iFSpV_t) \
	GO(__gmp_vfprintf, iFSpA_t)

#endif // __wrappedgmpTYPES_H_
