Trait vstd::std_specs::core::ExPartialOrd

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

Required Associated Types§

source

type ExternalTraitSpecificationFor: PartialOrd<Rhs>

Implementors§