pocket_prover
pub fn true_7(_: u64, _: u64, _: u64, _: u64, _: u64, _: u64, _: u64) -> u64
Ignores all 7 arguments, returning true for all inputs.
true