On Sunday, 6 December 2015 at 23:49:00 UTC, Timon Gehr wrote:
Yes, that's what you said later down the post. It's completely unrelated to the sentence you claimed was false.
i would assume that there would have to be a usecase for something added to a standard library. Based on the presented use case it is like using the classifications "younger than 100" and "younger than 16", apply them randomly to indivduals of the same age and use the classifications for making decisions about whether they should be allowed to see adult movies or not. Putting an ordering on the classification is in that case useless.
