List of all items

Structs

• EGraph
• ExecutionState
• Function
• FunctionRow
• NotFoundError
• ResolvedSchema
• SerializeConfig
• SerializeOutput
• TermDag
• Value
• ast::CorrespondingVar
• ast::Facts
• ast::GenericActions
• ast::GenericFunctionDecl
• ast::GenericRewrite
• ast::GenericRule
• ast::GenericRunConfig
• ast::IdentSort
• ast::ParseError
• ast::Parser
• ast::ResolvedVar
• ast::RustSpan
• ast::Schema
• ast::SimpleMacro
• ast::Variant
• constraint::AllEqualTypeConstraint
• constraint::Assignment
• constraint::Problem
• constraint::SimpleTypeConstraint
• extract::Extractor
• extract::TreeAdditiveCostModel
• prelude::GenericActions
• prelude::QueryResult
• prelude::RustRuleContext
• prelude::RustSpan
• scheduler::Match
• scheduler::Matches
• scheduler::SchedulerId
• sort::BaseValues
• sort::BigIntSort
• sort::BigRatSort
• sort::BoolSort
• sort::Boxed
• sort::ContainerValues
• sort::EqSort
• sort::ExecutionState
• sort::F64Sort
• sort::FunctionContainer
• sort::FunctionSort
• sort::I64Sort
• sort::MapContainer
• sort::MapSort
• sort::MultiSetContainer
• sort::MultiSetSort
• sort::OrderedFloat
• sort::ResolvedFunction
• sort::SetContainer
• sort::SetSort
• sort::StringSort
• sort::UnitSort
• sort::VecContainer
• sort::VecSort
• util::SymbolGen

Enums

• CommandOutput
• Error
• RunMode
• SerializedNode
• Term
• TypeError
• ast::Change
• ast::FunctionSubtype
• ast::GenericAction
• ast::GenericCommand
• ast::GenericExpr
• ast::GenericFact
• ast::GenericNCommand
• ast::GenericSchedule
• ast::Literal
• ast::PrintFunctionMode
• ast::Sexp
• ast::Span
• ast::Subdatatypes
• constraint::ConstraintError
• constraint::ImpossibleConstraint
• prelude::Span
• sort::ColumnTy
• sort::ResolvedFunctionId

Traits

• BaseValue
• ContainerValue
• Primitive
• UserDefinedCommand
• UserDefinedCommandOutput
• ast::Macro
• constraint::Constraint
• constraint::TypeConstraint
• extract::Cost
• extract::CostModel
• prelude::BaseSort
• prelude::ContainerSort
• scheduler::Scheduler
• sort::ContainerValue
• sort::Presort
• sort::Rebuilder
• sort::Sort
• util::FreshGen

Macros

• action
• actions
• add_primitive
• ast::call
• ast::lit
• ast::span
• ast::var
• call
• datatype
• expr
• fact
• facts
• lit
• match_term_app
• prelude::action
• prelude::actions
• prelude::datatype
• prelude::expr
• prelude::fact
• prelude::facts
• prelude::sort
• prelude::span
• prelude::vars
• sort
• span
• var
• vars

Functions

• ast::desugar::rule_name
• cli
• constraint::and
• constraint::assign
• constraint::eq
• constraint::implies
• constraint::impossible
• constraint::xor
• prelude::add_base_sort
• prelude::add_constructor
• prelude::add_container_sort
• prelude::add_function
• prelude::add_relation
• prelude::add_ruleset
• prelude::add_sort
• prelude::exprs::bool
• prelude::exprs::call
• prelude::exprs::float
• prelude::exprs::int
• prelude::exprs::string
• prelude::exprs::unit
• prelude::exprs::var
• prelude::query
• prelude::rule
• prelude::run_ruleset
• prelude::rust_rule
• sort::literal_sort

Type Aliases

• ArcSort
• TermId
• ast::Action
• ast::Actions
• ast::Command
• ast::Expr
• ast::Fact
• ast::FunctionDecl
• ast::NCommand
• ast::Rewrite
• ast::Rule
• ast::RunConfig
• ast::Schedule
• ast::Subsume
• constraint::DelayedConstraintFn
• extract::DefaultCost
• sort::F
• sort::MkSort
• sort::Q
• sort::S
• sort::Z
• util::IndexMap
• util::IndexSet