Your IP : 216.73.216.79

Current Path : /proc/thread-self/root/usr/include/
Upload File :
Current File : //proc/thread-self/root/usr/include/z3_macros.h

/*++
Copyright (c) 2015 Microsoft Corporation

--*/

#ifndef Z3_bool_opt
#define Z3_bool_opt Z3_bool
#endif

#ifndef Z3_API
# ifdef __GNUC__
#  define Z3_API __attribute__ ((visibility ("default")))
# else
#  define Z3_API
# endif
#endif

#ifndef DEFINE_TYPE
#define DEFINE_TYPE(T) typedef struct _ ## T *T
#endif