Redirecting to
../../sel4/trait.CapType.html
...