Trait vstd::std_specs::core::ExPartialEq

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

Required Associated Types§

source

type ExternalTraitSpecificationFor: PartialEq<Rhs>

Implementors§