Module type_check 

Unified type checking pass.

Computes both structural arity (for field validation) and data flow types (for TypeScript emission) in a single traversal.

Structs

DefId

A lightweight handle to a named definition.

FieldInfo

Field information within a struct type.

Interner

String interner. Deduplicates strings and returns cheap Symbol handles.

Symbol

A lightweight handle to an interned string.

TermInfo

Combined arity and type flow information for an expression.

TypeContext

Central registry for types, symbols, and expression metadata.

TypeId

Interned type identifier.

Enums

Arity

Structural arity - whether an expression matches one or many positions.

QuantifierKind

Quantifier kind for pattern matching.

TypeFlow

Data flow through an expression.

TypeShape

The shape of an inferred type, determining its structure.

UnifyError

Error during type unification.

Constants

TYPE_NODE

TYPE_STRING

TYPE_VOID

Functions

infer_types

Run type inference on all definitions.

primary_def_name

Get the primary definition name (first non-underscore, or underscore if none).

unify_flow

Unify two TypeFlows from alternation branches.

unify_flows

Unify multiple flows from alternation branches.