xref: /llvm-project/polly/lib/External/isl/test_inputs/set.omega (revision 52a25237d894fd5736a90f11df2c5c9391d13fd5)
1{[y]: Exists ( alpha : 2alpha = y)}
2