pub fn countn(n: usize, fun: &mut dyn FnMut(&[u64]) -> u64) -> u64
Counts the number of solutions of an n-argument boolean function.
