Structs
A simple structure to allocate Id identifiers.
A table of T values indexed by the id type I.
Enums
Traits
Type system for enforcing the lock order on shared HUB structures.
If type A implements Access<B>, that means we are allowed to proceed
with locking resource B after we lock A.