Changes between Initial Version and Version 1 of Ticket #16537, comment 22
- Timestamp:
- 12/15/17 13:48:34 (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #16537, comment 22
initial v1 1 That's exactly the problem. The way it'simplemented it does something like:1 That's exactly the problem. The way `total_ordering` implemented it does something like: 2 2 3 3 {{{