[−][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 |