InutitionTC  0.30
Data Fields
Tapp Struct Reference

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

#include <checker.h>

Data Fields

Typetype
 
Termterm
 

Detailed Description

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


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