Name: Anonymous 2011-09-10 23:04
What does the following C/C++ construction do?
compM<ListM>()[ makePair[X,Y] | X<=list_with(1,2), guard[true],
Y<=list_with(3,4), guard[ (Y %divides% X) %equal% 3 ] ] ]