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

substitute

unqualified_name

Extract the unqualified name from a dot-qualified identifier.

Type Aliases

SubstitutionMap

type param name -> type variable