lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]

On Mon, Jan 4, 2021 at 2:19 AM Andrew Gierth wrote:
The specific requirement that is violated is that the < relation used
for the sort must be a strict partial order with this additional
requirement: the relation (not (a < b or b < a)) must be an equivalence

But this condition is too complex to be included in the manual.
It would be more natural to simply replace "strict partial order" with "strict total order" :-)