List of all items

Structs

• FnSig
• Substitution
• TraitInfo
• TypeEnv
• checker::CheckResult
• checker::CheckerConfig
• checker::TypeError

Enums

• Type

Functions

• apply_substitution
• checker::check_match_exhaustiveness
• checker::check_match_exhaustiveness_patterns
• checker::check_program
• checker::is_pascal_case
• checker::is_snake_case
• convert::convert_type_expr
• convert::convert_type_expr_with_env
• convert::convert_type_expr_with_params
• infer::infer_expr
• is_compatible
• unify