pub fn all<E: Enumerable + Copy, F: Fn(E) -> u64>(f: &F) -> u64
Enumerates the type, checking that all outputs are true.
