Redirecting to
../../../sel4/cap_type/struct.Notification.html
...