Trait vstd::std_specs::core::ExStructural

source · 
pub trait ExStructural {
    type ExternalTraitSpecificationFor: Structural;
}

Required Associated Types§

source

type ExternalTraitSpecificationFor: Structural

Implementors§