Closed frankmcsherry closed 2 years ago
This PR implements TotalOrder for Antichain<T> when T: TotalOrder.
TotalOrder
Antichain<T>
T: TotalOrder
cc: @umanwizard
This PR implements
TotalOrder
forAntichain<T>
whenT: TotalOrder
.cc: @umanwizard