List of all items
Structs
- arena::Arena
- arena::ArenaStats
- context::Context
- context::ContextEntry
- context::ContextGuard
- conversion::ConversionStats
- conversion::Converter
- environment::Attributes
- environment::ConstructorDecl
- environment::Declaration
- environment::Environment
- environment::InductiveDecl
- level::LevelArena
- level::LevelId
- symbol::Symbol
- symbol::SymbolId
- symbol::SymbolTable
- term::Binder
- term::MetaVarId
- term::Term
- term::TermId
- typechecker::TypeChecker
- unification::Substitution
- unification::Unifier
Enums
- Error
- environment::DeclKind
- level::Level
- term::BinderInfo
- term::Literal
- term::TermKind
- unification::Constraint