Changes between Initial Version and Version 1 of Ticket #16537, comment 22


Ignore:
Timestamp:
12/15/17 13:48:34 (5 years ago)
Author:
embray
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #16537, comment 22

    initial v1  
    1 That's exactly the problem.  The way it's implemented it does something like:
     1That's exactly the problem.  The way `total_ordering` implemented it does something like:
    22
    33{{{