Trait vstd::std_specs::core::ExIntoIterator

source · 
pub trait ExIntoIterator {
    type ExternalTraitSpecificationFor: IntoIterator;
}

Required Associated Types§

source

type ExternalTraitSpecificationFor: IntoIterator

Implementors§