simple.cc - generated code example

[prop.git] / app / willard / data4

{ [x,y] : x in A, y in B | x < y }