Module types 

Structs

Bound

Symbol

Dot-qualified identifier for a named type, method, value, or variant.

TypeVarId

A unique handle identifying a type variable. The binding state (Unbound / Bound-to-a-Type) lives in a TypeEnv owned by the checker; the handle is a plain id so Type stays a pure value (Clone, Eq, Hash, Serialize).

Enums

CompoundKind

NumericFamily

SimpleKind

Type

Functions

peel_alias

Walk an alias chain via underlying_ty (preserves substitution); cycle guard defends against chains that slip past circular_type_alias.

peel_alias_id

Walk an alias chain by id alone; used when no Type with underlying_ty is available (e.g. Go-name resolution).

substitute

unqualified_name

Extract the unqualified name from a dot-qualified identifier.

Type Aliases

SubstitutionMap

type param name -> type variable