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