Nicholas Nethercote 7060fc8327 Replace no_ord_impl with orderable.
Similar to the previous commit, this replaces `newtype_index`'s opt-out
`no_ord_impl` attribute with the opt-in `orderable` attribute.
2023-11-22 18:38:17 +11:00
..
2023-09-21 17:31:25 +02:00
2023-11-22 18:38:17 +11:00
2023-07-23 23:39:04 +02:00
2023-11-14 23:06:50 +08:00
2023-10-19 20:18:51 -03:00
2023-06-09 00:20:37 +00:00
2023-11-15 19:41:28 -05:00