This commit adds the groundwork for the renaming of the Total{Eq,Ord} traits.
After this commit hits a snapshot, the traits can be renamed.
|
||
|---|---|---|
| .. | ||
| eq.rs | ||
| ord.rs | ||
| totaleq.rs | ||
| totalord.rs | ||
This commit adds the groundwork for the renaming of the Total{Eq,Ord} traits.
After this commit hits a snapshot, the traits can be renamed.
|
||
|---|---|---|
| .. | ||
| eq.rs | ||
| ord.rs | ||
| totaleq.rs | ||
| totalord.rs | ||