List of all items

Structs

• ast::AppTerm
• ast::Query
• ast::Rule
• ast::Sym
• ast::Var
• ast::VarScope
• resolve::ArithmeticResolver
• resolve::OrElse
• resolve::RuleResolver
• search::ResolveContext
• search::Solution
• search::SolutionCheckpoint
• search::SolutionIter
• search::SolutionState
• term_arena::AppTerm
• term_arena::ArgId
• term_arena::ArgRange
• term_arena::Checkpoint
• term_arena::TermArena
• term_arena::TermId
• textual::ParseError
• textual::Parser
• textual::Prettifier
• textual::TextualUniverse
• textual::UniverseQuery
• universe::CompiledRule
• universe::RuleSet
• universe::SymbolOverlay
• universe::SymbolStore

Enums

• ast::Term
• search::Resolved
• search::Step
• term_arena::Term
• textual::ParseErrorKind

Traits

• resolve::ResolverExt
• search::Resolver
• universe::SymbolStorage
• universe::Symbols

Functions

• ast::app
• ast::exists
• ast::forall
• ast::var
• search::query_dfs