vstd::std_specs::core

Trait ExIntoIterator

Source
pub trait ExIntoIterator {
    type ExternalTraitSpecificationFor: IntoIterator;
}

Required Associated Types§

Implementors§