Trait vstd::std_specs::core::ExSpecOrd

source · 
pub trait ExSpecOrd<Rhs> {
    type ExternalTraitSpecificationFor: SpecOrd<Rhs>;
}

Required Associated Types§

source

type ExternalTraitSpecificationFor: SpecOrd<Rhs>

Implementors§