The representation of the application of a Term to a Term; it is one of the species of Term. More...
#include <checker.h>
The representation of the application of a Term to a Term; it is one of the species of Term.