[−][src]Module voile::check
Type-Checking module.
Modules
| monad |
Functions
| check | Expr -> (well-typed) Term |
| check_decl | |
| check_declarations | |
| check_infer | infer type of value |
| check_main | |
| check_subtype | check if type1 is subtype of type2 |
| check_type | Check if an expression is a valid type expression |