Type Definition pocket_prover::Pred2

source · [−]
pub type Pred2 = fn(_: u64, _: u64) -> u64;
Expand description

A boolean function (transformed) of two arguments.