Trait vstd::std_specs::core::ExOrd

source · 
pub trait ExOrd: Eq + PartialOrd {
    type ExternalTraitSpecificationFor: Ord;
}

Required Associated Types§

source

type ExternalTraitSpecificationFor: Ord

Object Safety§

This trait is not object safe.

Implementors§