List of all items

Structs

• AppliedId
• AstSize
• Bind
• CongruenceProof
• EGraph
• Equation
• ExplicitProof
• ExtractionSubst
• Extractor
• Id
• Iteration
• ProgressMeasure
• ProvenEqRaw
• RecExpr
• ReflexivityProof
• Report
• Rewrite
• RewriteT
• Runner
• RunnerLimits
• Slot
• SlotMap
• Symbol
• SymmetryProof
• SynExprSubst
• TransitivityProof

Enums

• Pattern
• Proof
• StopReason
• SyntaxElem

Traits

• AbstractVecMap
• AbstractVecSet
• Analysis
• Cond
• CostFunction
• IterationData
• Language
• LanguageChildren
• SubstMethod

Macros

• bare_language_child
• define_language
• rw

Functions

• and
• any_to_t
• apply_rewrites
• ast_size_extract
• ematch_all
• extract
• lookup_rec_expr
• not
• or
• pattern_subst
• pattern_to_re
• re_to_pattern
• run_eqsat
• slot_free_in

Type Aliases

• ProvenEq
• RunnerResult
• SmallHashMap
• SmallHashSet
• Subst