pub fn implies<F: AbstractField>(a: impl Into<F>, b: impl Into<F>) -> F
Assumes that a and b are boolean