Joey
05/19/2022, 8:09 PMdefinition user {}
definition department {
relation manager: user
relation view_employee: department#manager
relation transfer_employee: department#manager
}
definition employee {
relation department: department
permission view = department->view_employee
permission transfer = department->transfer_employee
}