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§

Source

type ExternalTraitSpecificationFor: Iterator

Source

type Item

Required Methods§

Source

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

Implementors§