48#define TYPE_BASE LIST(EL_BASE)
void GMPZAPI() add(mp_int rop, mp_int op1, mp_int op2)
isl_ctx * isl_stream_get_ctx(__isl_keep isl_stream *s)
int isl_stream_eat(__isl_keep isl_stream *s, int type)
int isl_stream_eat_if_available(__isl_keep isl_stream *s, int type)