Function evaluate_constraint

pub fn evaluate_constraint<'a, LHS, RHS, R>(
    terms: &'a [(LHS, usize)],
    assignment: &'a [RHS],
) -> R
where
    LHS: One + Send + Sync + PartialEq,
    RHS: Send + Sync + Mul<&'a LHS, Output = RHS> + Copy,
    R: Zero + Send + Sync + AddAssign<RHS> + Sum,

Computes the inner product of terms with assignment.