Include file:
#include "mcrl2/atermpp/standard_containers/stack.h"
atermpp::stack
mcrl2/atermpp/set_operations.h
mcrl2/atermpp/type_traits.h
