openvm_circuit_primitives::utils

Function implies

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

Assumes that a and b are boolean