let
teach_sync event =
(
fun
student _ grades
->
Event
.sync event;
(student,grades)
)