Function pocket_prover::proven
[−]
[src]
pub fn proven<F: FnMut(&[u64]) -> u64>(n: usize, f: &mut F) -> bool
Returns true
if proposition is correct, false
otherwise.