openvm_circuit_primitives::utils

Function implies

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

Assumes that a and b are boolean