pub fn le_generic( _: &'_ mut dyn EvalContext, a: &[ExprValue], ) -> Result<ExprValue, ExpressionError>