Function pocket_prover::countn

pub fn countn(n: usize, fun: &mut dyn FnMut(&[u64]) -> u64) -> u64

Counts the number of solutions of an n-argument boolean function.