let
reset_grades =
(
fun
student _ _
->
(student,[]))