vstd::std_specs::core

Trait ExDebug

Source 
pub trait ExDebug {
    type ExternalTraitSpecificationFor: Debug;
}

Required Associated Types§

Source

type ExternalTraitSpecificationFor: Debug

Implementors§