Function pocket_prover::imply8
[−]
[src]
pub fn imply8(
a: u64,
b: u64,
c: u64,
d: u64,
e: u64,
f: u64,
g: u64,
h: u64
) -> u64
An imply chain of 8 arguments.