Ary Borenszweig wrote:
Suppose you implement partial ordering with template constraints and drop the others. What things you couldn't do? (I need an example because I can't see it).
How could I do partial ordering if one constraint expression accepts only "odd" integers? Remember that partial ordering is not done with the specific argument values, but with the general parameter ones.