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 |