creusot_contracts::std::iter

Trait ZipExt

Source 
pub trait ZipExt<A: Iterator, B: Iterator> {
    // Required methods
    fn itera(self) -> A;
    fn iterb(self) -> B;
}

Required Methods§

Source

fn itera(self) -> A

logic

Source

fn iterb(self) -> B

logic

Implementors§

Source§

impl<A: Iterator, B: Iterator> ZipExt<A, B> for Zip<A, B>