Function pocket_prover::implyn

source · [−]
pub fn implyn(vs: &[u64]) -> u64
Expand description

An IMPLY chain of variable number of arguments.