Behdad Esfahbod 1a4f96b787 Remove total_ordering
Upon studying further, we don't need it.  Since we only expect
comparing objects of the same type, just having __lt__ is enough.
2013-12-07 12:17:32 -05:00
..
2013-12-07 12:17:32 -05:00
2013-11-28 18:53:30 -05:00
2013-12-04 16:35:10 -05:00