pub trait ExPartialOrd<Rhs: ?Sized>: PartialEq<Rhs> { type ExternalTraitSpecificationFor: PartialOrd<Rhs>; }