Trait vstd::std_specs::core::ExIteratorCopy item path

pub trait ExIterator {
    type ExternalTraitSpecificationFor: Iterator;
    type Item;

    // Required method
    exec fn next(&mut self) -> Option<Self::Item>;
}

Required Associated Types§

Required Methods§

Implementors§