List of all items

Structs

• EGraph
• FunctionConfig
• FunctionId
• FunctionRow
• RuleBuilder
• RuleId
• TableAction
• UnionAction
• proof_format::CongProof
• proof_format::EqProofId
• proof_format::PrettyPrintConfig
• proof_format::ProofStore
• proof_format::TermDag
• proof_format::TermId
• proof_format::TermProofId
• syntax::SourceSyntax
• syntax::SyntaxId

Enums

• ColumnTy
• DefaultVal
• Function
• MergeFn
• QueryEntry
• proof_format::EqProof
• proof_format::Premise
• proof_format::Term
• proof_format::TermProof
• syntax::SourceExpr
• syntax::TopLevelLhsExpr

Macros

• add_expressions
• define_rule

Type Aliases

• Result
• SideChannel