Expand description
Type context for local variables
Manages the local context (Γ) in typing judgments Γ ⊢ t : T
Structs§
- Context
- Local typing context
- Context
Entry - Entry in the local context
- Context
Guard - RAII guard for context management
Type context for local variables
Manages the local context (Γ) in typing judgments Γ ⊢ t : T