What is the ATerm++ Library?
The ATerm++ Library is a manipulate tree-like term structures.
The library is very space efficient, both in memory and on disk. An application
areas are AST's (abstract syntax trees). This chapter describes how to
use the ATerm++ Library.