Type Definition Pred2
pocket_prover
type Pred2 = fn(_: u64, _: u64) -> u64;
A boolean function (transformed) of two arguments.