[−][src]Function leo_compiler::expression::logical::or::enforce_or
pub fn enforce_or<F: Field + PrimeField, G: GroupType<F>, CS: ConstraintSystem<F>>(
cs: &mut CS,
left: ConstrainedValue<F, G>,
right: ConstrainedValue<F, G>,
span: Span
) -> Result<ConstrainedValue<F, G>, BooleanError>