Trait Enumerable
pocket_prover
pub trait Enumerable: Sized { fn start() -> Self; fn inc(&self) -> Option<Self>; }
Implemented by types to use with all and any.
all
any
fn start() -> Self
Returns start value.
fn inc(&self) -> Option<Self>
Increases value.
impl Enumerable for u8
fn start() -> u8
impl Enumerable for Pred1