Type Definition pocket_prover::Pred1

type Pred1 = fn(_: u64) -> u64;

A boolean function of one argument.

Trait Implementations

impl Enumerable for Pred1

fn start() -> Self

Returns start value.

fn inc(&self) -> Option<Self>

Increases value.