cpp/header/flat set

This header is part of the containers library.