List of all items

Structs

• binder::CoreBinder
• fixed_point::FixedPointStack
• instrument::Instrumented
• instrument::WithDispatch
• parse::Binding
• parse::ParseError
• parse::Scope
• substitution::CoreSubstitution
• substitution::CoreVarSubstitution
• variable::CoreBoundVar
• variable::CoreExistentialVar
• variable::CoreUniversalVar
• variable::DebruijnIndex
• variable::VarIndex

Enums

• variable::CoreVariable

Traits

• Deduplicate
• Downcast
• DowncastFrom
• DowncastTo
• Downcasted
• SetExt
• To
• Upcast
• UpcastFrom
• Upcasted
• fixed_point::Value
• fold::CoreFold
• instrument::Instrument
• instrument::WithSubscriber
• language::HasKind
• language::Language
• parse::CoreParse
• term::CoreTerm
• visit::CoreVisit

Macros

• bail
• cast_impl
• debug
• declare_language
• id
• judgment_fn
• push_rules
• seq
• set
• trace
• trait_alias

Attribute Macros

• fixed_point
• instrument
• requires
• term
• test

Derive Macros

• Visit

Functions

• fixed_point::fixed_point
• parse::expect_char
• parse::expect_keyword
• parse::identifier
• parse::number
• parse::reject_keyword
• parse::require_unambiguous
• parse::skip_trailing_comma
• parse::skip_whitespace
• parse::try_parse
• with_tracing_logs

Type Aliases

• Fallible
• Map
• Set
• fold::SubstitutionFn
• judgment::JudgmentStack
• language::CoreKind
• language::CoreParameter
• parse::ParseResult