Function pocket_prover::imply

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

First argument implies the second.