Function pocket_prover::any

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

Enumerates the type, checking that at least one output is true.