List of all items

Structs

• checker::ProgramTypes
• env::TypeDef
• env::TypeEnv
• types::EffectSet
• types::Scheme
• unifier::Unifier

Enums

• env::TypeDefKind
• error::TypeError
• types::Prim
• types::Ty
• unifier::UnifyError

Functions

• builtins::module_for_import
• builtins::module_scope
• checker::check_and_rewrite_program
• checker::check_program
• env::ty_from_canon

Type Aliases

• types::TyVarId