Function pocket_prover::not

pub fn not(a: u64) -> u64

If input is true, returns false and vice versa.