Redirecting to
../../teaclave_types/enum.UserRole.html
...