Expand description
Global environment for constants and declarations
Stores all top-level definitions, axioms, and inductive types using persistent data structures for efficient cloning.
Structs§
- Attributes
- Attributes for declarations
- Constructor
Decl - Constructor declaration
- Declaration
- A constant declaration in the environment
- Environment
- Global environment
- Inductive
Decl - Inductive type declaration
Enums§
- Decl
Kind - Kind of declaration