Module cl_typeck::inference

Implements type unification, used by the Hindley-Milner type inference algorithm

Inspired by rust-hindley-milner and hindley-milner-python

Structs

• Operator
• Variable

Enums

• InferenceError
  An error produced during type inference
• Type
  A Type::Variable or Type::Operator:

Type Aliases

• RcType
  A refcounted Type