Treat a vector of tipId_t values as a push-down stack. More...
Treat a vector of tipId_t values as a push-down stack.