Module ore::vec

Vector utilities

Functions

repurpose_allocation

Create a new vector that re-uses the same allocation as an old one. The element types must have the same size and alignment.