Crate tl_types 

Modules

checker

convert

infer

Structs

FnSig

A function signature.

Substitution

A substitution mapping inference variables to concrete types.

TraitInfo

Information about a trait definition.

TypeEnv

Type environment — tracks variable types across scopes.

Enums

Type

Internal type representation used by the type checker. Separate from TypeExpr (AST surface syntax).

Functions

apply_substitution

Apply a substitution to a type, replacing Var(id) with mapped types.

is_compatible

Check if two types are compatible under gradual typing. any is compatible with everything. none is compatible with option<T>.

unify

Unify two types, producing a substitution or an error.