SkipExt

creusot_contracts::std::iter

Trait SkipExt 

Source 
pub trait SkipExt<I> {
    // Required methods
    fn iter(self) -> I;
    fn n(self) -> usize;
}

Required Methods§

Source

fn iter(self) -> I

⚠

Source

fn n(self) -> usize

⚠

Implementations on Foreign Types§

Source§

impl<I> SkipExt<I> for Skip<I>

Source§

fn iter(self) -> I

(opaque) ⚠

Source§

fn n(self) -> usize

(opaque) ⚠

Implementors§