cpp/header/vector

This header is part of the containers library.