Function leo_compiler::expression::arithmetic::add::enforce_add

pub fn enforce_add<'a, F: PrimeField, G: GroupType<F>, CS: ConstraintSystem<F>>(
    cs: &mut CS, 
    left: ConstrainedValue<'a, F, G>, 
    right: ConstrainedValue<'a, F, G>, 
    span: &Span
) -> Result<ConstrainedValue<'a, F, G>, ExpressionError>