Module evaltrees::typeck [−][src]
A Hindley-Milner type-checker (with inference).
Enums
| TypeError |
An error during typechecking. |
Functions
| typeck |
Completely type-checks a series of declarations. |