Expand description
Core term representation for dependent type theory
Terms are hash-consed and stored in an arena for efficient equality checking and memory management.
Structs§
- Binder
- Binder information for lambda and Pi types
- Meta
VarId - Metavariable ID
- Term
- Wrapper around TermKind with additional metadata
- TermId
- Interned term ID for hash-consing
Enums§
- Binder
Info - Binder information flags
- Literal
- Literal values
- Term
Kind - Core term representation