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