`&[u32]` is essentially `std::span<const uint32_t>`. `&[u32; P]` is similarly something like `std::span<const uint32_t, P>`. `[u32; P]` (no `&`) is essentiall

`&[u32]` is essentially `std::span<const uint32_t>`. `&[u32; P]` is similarly something like `std::span<const uint32_t, P>`. `[u32; P]` (no `&`) is essentially `std::array<uint32_t, P>`. `Vec<u32>` is essentially `std::vector<uint32_t>`, yes.