Type Definition pocket_prover::Pred1

source · [−]

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

Expand description

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.