Redirecting to
../../sel4/trait.CapTypeForObjectOfFixedSize.html
...