Power-of-two aligned vertical slice of a sequence when viewed as a row-major matrix.
This is useful access pattern for algorithms like 4-step NTT or switchover.
A trait for a collection that allows indexed access by value.
This trait is used to abstract over different types of collections - scalar slices,
slices of packed field elements including subranges of collections.