Crate hindley_milner [−] [src]
Structs
| Env |
Enums
| Errors | |
| Syntax | |
| Type |
Functions
| analyse |
Computes the type of the expression given by node. |
| new_apply | |
| new_function |
A binary type constructor which builds function types |
| new_identifier | |
| new_lambda | |
| new_let | |
| new_letrec | |
| new_operator |
A binary type constructor which builds function types |
| new_variable |
A binary type constructor which builds function types |
Type Definitions
| ArenaType |