vstd::std_specs::core

Trait ExSpecOrd

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

Required Associated Types§

Implementors§