> Beyond cycle counting, I see op< as more primitive than op<=: one
> establishes order, while the other allows for equivalence. I would
> prefer a SORT which lets me use the most primitive predicate possible.
> On many platforms it won't matter; but on some, it may.
I see what you mean, I guess, but I don't see why this "primitiveness" is
a good thing. Does it make sense to sort sets that are not partially
ordered?
David