vstd::std_specs::core

Trait ExIntoIterator

Source 
pub trait ExIntoIterator {
    type ExternalTraitSpecificationFor: IntoIterator;
}

Required Associated Types§

Source

type ExternalTraitSpecificationFor: IntoIterator

Implementors§