vstd::std_specs::core

Trait ExPartialOrd

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

Required Associated Types§

Implementors§