Function implies 

pub fn implies<F: PrimeCharacteristicRing>(
    a: impl Into<F>,
    b: impl Into<F>,
) -> F

Assumes that a and b are boolean