#include <iosfwd>
#include <string>
#include <vector>
#include "number.hpp"
Go to the source code of this file.
Classes | |
class | node |
Typedefs | |
typedef std::vector < node > | node_list |
A sequence of nodes. | |
typedef std::vector < std::string > | identifier_list |
A sequence of identifiers (e.g., parameter names). |
typedef std::vector<std::string> identifier_list |