Function eval_eq_mle 

pub fn eval_eq_mle<F1, F2, F3>(x: &[F1], y: &[F2]) -> F3
where
    F1: Field + Mul<F2, Output = F3>,
    F2: Field,
    F3: Field + Sub<F1, Output = F3> + Sub<F2, Output = F3>,