Crate hindley_milner

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 Aliases

ArenaType