vstd
ExStructural
Required Associated Types
ExternalTraitSpecificationFor
Implementors
In vstd::
std_
specs::
core
vstd
::
std_specs
::
core
Trait
ExStructural
Copy item path
Source
pub trait ExStructural { type
ExternalTraitSpecificationFor
:
Structural
; }
Required Associated Types
§
Source
type
ExternalTraitSpecificationFor
:
Structural
Implementors
§