This is an old revision of the document!
leaveTeam(string uid, string id, string studentId) { assume exists //accounts/account[uid]/tutor[id]/group[//exercises/exercise[id]/student[studentId]/group]; # implies the existence of the student, the exercise, the group and enough rights by a tutor account assume exists //exercises/exercise[id]/student[studentId]/team; delete //exercises/exercise[id]/student[studentId]/team; }