Module context 

Contexts store the type and values of in-scope variables during elaboration.

Structs

Context

The variable context during elaboration.

ContextCheckpoint

A checkpoint that we can return the context to.

FiberVarInContext

Each fiber variable in context — a generator or sub-instance import introduced inside an instance body — with its label and fiber type.

VarInContext

Each variable in context is associated with a label and a type.