Trait vstd::std_specs::core::ExDebug

source · 
pub trait ExDebug {
    type ExternalTraitSpecificationFor: Debug;
}

Required Associated Types§

source

type ExternalTraitSpecificationFor: Debug

Implementors§