Trait method
<either::Either as Iterator>::next
impl<L, R> Iterator for super::Either<L, R> where L: Iterator, R: Iterator<Item = <L as core::iter::traits::iterator::Iterator>::Item>
pub fn next(self: &mut Self) -> Option<<Self as core::iter::traits::iterator::Iterator>::Item>
Documentation on docs.rs
Claims (1)
Claim #40 — Verification of <either::Either as Iterator>::next (with Aeneas be86ab0f1989d04944292b345b24c435be3ad10a)<either::Either as Iterator>::next
Either branch operations, payload conversions and conditional composition · v8 · 0 comments · nyuichi