Trait creusot_contracts::std::iter::FilterExt

pub trait FilterExt<I, F> {
    // Required methods
    fn iter(self) -> I;
    fn func(self) -> F;
}

Required Methods

fn iter(self) -> I

logic

fn func(self) -> F

logic

Implementors

impl<I, F> FilterExt<I, F> for Filter<I, F>