ExDebug

vstd::std_specs::core

Trait ExDebug 

Source 
pub trait ExDebug: PointeeSized {
    type ExternalTraitSpecificationFor: Debug;
}

Required Associated Types§

Source

type ExternalTraitSpecificationFor: Debug

Implementors§