Documentation only (for Data.Vector module)