vstd
ExEq
Required Associated Types
ExternalTraitSpecificationFor
Object Safety
Implementors
In vstd::std_specs::core
?
Settings
Trait
vstd
::
std_specs
::
core
::
ExEq
Copy item path
source
·
[
−
]
pub trait ExEq:
PartialEq
{ type
ExternalTraitSpecificationFor
:
Eq
; }
Required Associated Types
§
source
type
ExternalTraitSpecificationFor
:
Eq
Object Safety
§
This trait is
not
object safe
.
Implementors
§