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