Redirecting to
../../sel4/trait.CapTypeForObjectOfVariableSize.html
...