vstd::std_specs::core

Trait ExIterator

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

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

Required Associated Types§

Required Methods§

Source

exec fn next(&mut self) -> Option<Self::Item>

Implementors§