InutitionTC  0.30
Data Fields
Bind Struct Reference

The structure to represent binders. (For future use.) More...

#include <checker.h>

Data Fields

Name name
 
Typetype
 
Anyany
 

Detailed Description

The structure to represent binders. (For future use.)


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