[−][src]Module nar::check::rules
Typ(e-check)ing rules.
Modules
clause | Type check a function clause. |
data | Type check data type & constructor declarations. |
decls | Check a list of declarations. |
term | Type check a term. |
Constants
ERROR_MSG |
Functions
check | |
check_decls | |
infer | Infer the type of the expression. |
simplify |