openvm_circuit_primitives::utils

Function implies

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

Assumes that a and b are boolean