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