pub type Pred1 = fn(_: u64) -> u64;
A boolean function of one argument.
Returns start value.
Increases value.