vstd::std_specs::core

Trait ExDisplay

Source 
pub trait ExDisplay {
    type ExternalTraitSpecificationFor: Display;
}

Required Associated Types§

Source

type ExternalTraitSpecificationFor: Display

Implementors§