Trait vstd::std_specs::core::ExIterator

source · 
pub trait ExIterator {
    type ExternalTraitSpecificationFor: Iterator;
}

Required Associated Types§

source

type ExternalTraitSpecificationFor: Iterator

Implementors§