[][src]Type Definition pocket_prover::Pred2

type Pred2 = fn(_: u64, _: u64) -> u64;

A boolean function (transformed) of two arguments.