List of all items

Structs

• EGraph
• Function
• NotFoundError
• Primitive
• RunReport
• SerializeConfig
• SimplePrimitive
• TermDag
• TypeInfo
• Value
• ast::CorrespondingVar
• ast::DUMMY_FILE
• ast::DUMMY_SPAN
• ast::Facts
• ast::GenericActions
• ast::GenericFunctionDecl
• ast::GenericRewrite
• ast::GenericRule
• ast::GenericRunConfig
• ast::Id
• ast::IdentSort
• ast::Location
• ast::ResolvedVar
• ast::Schema
• ast::Span
• ast::SrcFile
• ast::Symbol
• ast::Variant
• ast::desugar::Desugar
• ast::parse::ActionParser
• ast::parse::ExprParser
• ast::parse::FactParser
• ast::parse::ProgramParser
• constraint::AllEqualTypeConstraint
• constraint::Problem
• constraint::SimpleTypeConstraint
• sort::BoolSort
• sort::EqSort
• sort::F64Sort
• sort::FunctionSort
• sort::I64Sort
• sort::MapSort
• sort::NotEqualPrimitive
• sort::RationalSort
• sort::SetSort
• sort::StringSort
• sort::UnitSort
• sort::VecSort

Enums

• Error
• ExtractReport
• RunMode
• SerializedNode
• Term
• ast::Change
• ast::GenericAction
• ast::GenericCommand
• ast::GenericExpr
• ast::GenericFact
• ast::GenericNCommand
• ast::GenericSchedule
• ast::Literal
• ast::Quote
• constraint::Constraint
• constraint::ConstraintError
• constraint::ImpossibleConstraint

Traits

• PrimitiveLike
• ast::ToSexp
• ast::parse::__ToTriple
• constraint::TypeConstraint
• sort::FromSort
• sort::IntoSort
• sort::Sort

Macros

• add_primitives
• match_term_app
• to_tt
• unpack

Type Aliases

• ArcSort
• Subst
• TermId
• ast::Action
• ast::Actions
• ast::Command
• ast::Expr
• ast::Fact
• ast::FunctionDecl
• ast::NCommand
• ast::Rule
• ast::RunConfig
• ast::Schedule
• ast::Subsume
• sort::PreSort
• util::IndexMap
• util::IndexSet

Constants

• HIGH_COST
• UNIT_SYM
• ast::DEFAULT_FILENAME
• ast::DUMMY_FILENAME