void GMPZAPI() add(mp_int rop, mp_int op1, mp_int op2)
isl_stat isl_stream_yaml_read_start_sequence(__isl_keep isl_stream *s)
isl_bool isl_stream_yaml_next(__isl_keep isl_stream *s)
isl_ctx * isl_stream_get_ctx(__isl_keep isl_stream *s)
isl_stat isl_stream_yaml_read_end_sequence(__isl_keep isl_stream *s)