isl_union_*_mul_isl_int: pass address of isl_int to callback
[isl.git] / test_inputs / set.omega
blobac8485fb9a4eee36e59e59c2c8611b55dbea956b
1 {[y]: Exists ( alpha : 2alpha = y)}