List of all items

Structs

• algorithm_u::UnificationMismatch
• assumption::TypeTable
• constraint::EqConstraint
• language::App
• language::BVar
• language::Lambda
• language::Let
• language::Var
• substitution::Substitutions
• type::PolymorphicType
• type::TVar
• type::Tuple

Enums

• algorithm_u::AlgorithmUError
• algorithm_w::AlgorithmWError
• algorithm_w::CompoundInferError
• constraint::Constraint
• constraint::ConstraintsSolverError
• language::Language
• language::Literal
• language::Special
• type::MonomorphicType
• type::PrimitiveType

Traits

• assumption::TypeTableOps
• traits::EnvironmentProvider

Functions

• constraint::eq_cst
• constraint::explicit_cst
• constraint::implicit_cst
• language::app
• language::bounded
• language::if
• language::lambda
• language::let
• language::var
• type::fun
• type::fun1
• type::unit_type
• type::var

Type Aliases

• assumption::AssumptionSet
• assumption::Environment

Constants

• LOWER_ALPHABET
• UPPER_ALPHABET