Function pocket_prover::all

pub fn all<E: Enumerable + Copy, F: Fn(E) -> u64>(f: &F) -> u64

Enumerates the type, checking that all outputs are true.