Expand description
Contexts store the type and values of in-scope variables during elaboration.
Structsยง
- Context
- The variable context during elaboration
- Context
Checkpoint - A checkpoint that we can return the context to.
- VarIn
Context - Each variable in context is associated with a label and a type.