let
_absc (s:student) (padd:paddress) =
match
H
.get_assoc s.teams padd
with
t
->
t.a