[−][src]Module minitt::type_check
Type checking: the four type checking functions -- checkI
, checkD
, check
and checkT
.
Depends on modules syntax
, normal
, reduce
and read_back
.
Functions
check |
|
check_declaration |
|
check_declaration_main | Similar to |
check_infer |
|
check_main |
|
check_type |
|
update_gamma |
|
Type Definitions
Gamma |
|
GammaRaw | Type-Checking context. Name as key, type of the declaration as value. |
TCM |
|