let
student_mean (s:student) =
student_grade s []