Type Definition Pred1
pocket_prover
type Pred1 = fn(_: u64) -> u64;
A boolean function of one argument.
impl Enumerable for Pred1
fn start() -> Self
Returns start value.
fn inc(&self) -> Option<Self>
Increases value.