57 void freeTerm(
Term* ptr);
58 void freeTermZ(
Term**);
142 void freeType(
Type* ptr);
143 void freeTypeZ(
Type**);
227 void freeKind(
Kind* ptr);
228 void freeKindZ(
Kind**);
312 void freeAny(
Any* ptr);
313 void freeAnyZ(
Any**);
341 Any* makeAny(
const Any arg);
360 Any* copyAny(
const Any* arg);
361 Any* copyAnyDeep(
const Any*);
390 Name allocName(
size_t size);
401 void freeName(
Name ptr);
402 void freeNameZ(
Name*);
444 void die(
const char *reason);
445 void freeBindParts(
Bind b);
The representation of the kinds in the typesystem.
Definition: checker.h:68
Definitions of the base structures that represent the formulas and proofs.
The representation of the types in the typesystem.
Definition: checker.h:146
The wrapper that makes it possible to store in envmap different species of elements that occur in typ...
Definition: checker.h:329
The representation of the proof terms in the typesystem.
Definition: checker.h:298
char * Name
The type to structurally represent identifier names.
Definition: checker.h:46
The structure to represent binders. (For future use.)
Definition: checker.h:315