[][src]Type Definition pocket_prover::Pred1

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

A boolean function of one argument.

Trait Implementations

impl Enumerable for Pred1[src]