void isl_imath_cdiv_q_ui(mp_int rop, mp_int op1, unsigned long op2)
int isl_imath_fits_slong_p(mp_int op)
void isl_imath_fdiv_q_ui(mp_int rop, mp_int op1, unsigned long op2)
int isl_imath_fits_ulong_p(mp_int op)
void isl_imath_addmul_ui(mp_int rop, mp_int op1, unsigned long op2)
void isl_imath_submul_ui(mp_int rop, mp_int op1, unsigned long op2)
uint32_t isl_imath_hash(mp_int v, uint32_t hash)
__isl_give isl_val *(* op)(__isl_take isl_val *v)