Function pocket_prover::and

pub fn and(a: u64, b: u64) -> u64

Returns true if all arguments are true.