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