Trait creusot_contracts::std::iter::ZipExt

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

Required Methods

fn itera(self) -> A

logic

fn iterb(self) -> B

logic

Implementors

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