class

TypeUnifierMadeByChatGPT

Instance methods

find(var : Type::Var) : Int32

Find the canonical representative of a type variable

fresh_type_var

Create a new fresh type variable

get(var : Type::Var) : Type | Nil

Get the resolved type of a type var, if known

resolve(typ : Type) : Type

Fully resolve a type: follows type vars to final concrete type

unify(var : Type::Var, other : Type)

Unify a type var with another type