List of all items

Structs

• CommandMacroRegistry
• EGraph
• Enode
• FullState
• FuncType
• Function
• FunctionEntry
• NotFoundError
• OrdTerm
• PureState
• ReadState
• SerializeConfig
• SerializeOutput
• SpecializedPrimitive
• TermDag
• TypeInfo
• Value
• WriteState
• api::RawValues
• ast::ContainerRebuildSpec
• ast::CorrespondingVar
• ast::Facts
• ast::GenericActions
• ast::GenericFunctionDecl
• ast::GenericRewrite
• ast::GenericRule
• ast::GenericRunConfig
• ast::IdentSort
• ast::ParseError
• ast::Parser
• ast::ProofConstructorNames
• 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::RustSpan
• proof::Proof
• proof::ProofId
• proof::ProofStore
• proof::Proposition
• 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::PairContainer
• sort::PairSort
• sort::ResolvedFunction
• sort::SetContainer
• sort::SetSort
• sort::StringSort
• sort::UnitSort
• sort::VecContainer
• sort::VecSort
• util::SymbolGen

Enums

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

Traits

• BaseValue
• CommandMacro
• ContainerValue
• Core
• FullPrim
• Primitive
• PurePrim
• Read
• ReadPrim
• UserDefinedCommand
• UserDefinedCommandOutput
• Write
• WritePrim
• api::FromValue
• api::FromValues
• api::IntoValue
• api::IntoValues
• ast::Macro
• constraint::Constraint
• constraint::TypeConstraint
• extract::Cost
• extract::CostModel
• prelude::BaseSort
• prelude::ContainerSort
• prelude::LiteralConvertible
• scheduler::Scheduler
• sort::ContainerValue
• sort::Presort
• sort::Sort
• sort::ValueRebuilder
• util::FreshGen

Macros

• action
• actions
• add_literal_prim
• add_primitive
• add_primitive_with_validator
• 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
• ast::get_max_underscores
• ast::replace_internal_symbol_with
• ast::sanitize_internal_names
• cli
• constraint::and
• constraint::assign
• constraint::eq
• constraint::implies
• constraint::impossible
• constraint::xor
• file_supports_proofs
• 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::rule
• prelude::run_ruleset
• prelude::rust_rule
• prelude::rust_rule_full
• program_supports_proofs
• sort::literal_sort

Type Aliases

• ArcSort
• Atom
• AtomTerm
• PrimitiveValidator
• TermId
• ast::Action
• ast::Actions
• ast::Command
• ast::Expr
• ast::Fact
• ast::FunctionDecl
• ast::NCommand
• ast::ResolvedCommand
• ast::ResolvedExpr
• ast::ResolvedFact
• 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

Constants

• GLOBAL_NAME_PREFIX
• util::INTERNAL_SYMBOL_PREFIX