Trait pocket_prover::Enumerable

pub trait Enumerable: Sized {
    fn start() -> Self;
    fn inc(&self) -> Option<Self>;
}

Expand description

Implemented by types to use with all and any.

Required methods

Returns start value.

Increases value.