14 #ifndef _TYPECHECKER_H
15 #define _TYPECHECKER_H 1
bool checkType(const envmap env, Type *t, Kind *k)
Definition: typechecker.c:172
Kind * inferType(const envmap env, Type *t)
Definition: typechecker.c:240
Operations on the data structure that represents dictionaries of names.
Type * inferTerm(const envmap env, Term *m)
Definition: typechecker.c:681
Operations on the data structure that represents environments.
The representation of the kinds in the typesystem.
Definition: checker.h:68
Definitions of the base structures that represent the formulas and proofs.
bool checkKind(const envmap env, Kind k)
Definition: typechecker.c:134
bool checkTerm(const envmap env, Term *m, Type *t)
Definition: typechecker.c:334
The representation of the types in the typesystem.
Definition: checker.h:146
The representation of the dictionary to hold values wrapped in Any structure and available under stri...
Definition: envmap_base.h:27
The representation of the proof terms in the typesystem.
Definition: checker.h:298