Skip to main content

DoubleEndedIteratorSpec

Trait DoubleEndedIteratorSpec 

Source
pub trait DoubleEndedIteratorSpec: Iterator + DoubleEndedIterator {
    // Required method
    spec fn peek_back(&self, index: int) -> Option<Self::Item>;
}

Required Methods§

Source

spec fn peek_back(&self, index: int) -> Option<Self::Item>

Implementors§

Source§

impl<VERUS_SPEC__A: DoubleEndedIterator + ?Sized> DoubleEndedIteratorSpec for VERUS_SPEC__A