InutitionTC  0.30
Data Fields
Mapp Struct Reference

The representation of the application of a Term to a Term; it is one of the species of Term. More...

#include <checker.h>

Data Fields

Termterm1
 
Termterm2
 

Detailed Description

The representation of the application of a Term to a Term; it is one of the species of Term.


The documentation for this struct was generated from the following file: