creusot_contracts::std::iter

Trait EnumerateExt

Help

pub trait EnumerateExt<I> {
    // Required methods
    fn iter(self) -> I;
    fn n(self) -> Int;
}

Required Methods§

fn iter(self) -> I

logic

fn n(self) -> Int

logic

Implementors§

impl<I> EnumerateExt<I> for Enumerate<I>