creusot_contracts::std::iter

Trait TakeExt

Source 
pub trait TakeExt<I> {
    // Required methods
    fn iter(self) -> I;
    fn iter_mut(&mut self) -> &mut I;
    fn n(self) -> Int;
}

Required Methods§

Source

fn iter(self) -> I

logic

Source

fn iter_mut(&mut self) -> &mut I

logic

Source

fn n(self) -> Int

logic

Implementors§

Source§

impl<I> TakeExt<I> for Take<I>