Module indexing::traits

Traits

Idx	Unsigned integers able to be used as a trusted index.
TrustedContainer	Types that can back a trusted container: it can have indices and ranges that are trusted to be in bounds.
TrustedItem	An item within a trusted container.