List of all items

Structs

• ArrowIter
• ArrowIterTypeRef
• AstDepth
• AstSize
• BackoffScheduler
• ConditionEqual
• ConditionalApplier
• Context
• CurriedFn
• DSL
• DSLEntry
• DidMerge
• Dot
• EClass
• EGraph
• Evaluator
• Explanation
• Expr
• Extractor
• FlatTerm
• FromOpError
• Id
• Iteration
• LazyVal
• Pattern
• ProgramCost
• ProgramDepth
• RawTypeRef
• RecExpr
• Report
• Rewrite
• Runner
• SearchMatches
• SimpleScheduler
• Subst
• Symbol
• SymbolLang
• TermArgIter
• TreeTerm
• TypeRef
• TypeSet
• Var
• domains::prim_lists::ListData

Enums

• ENodeOrVar
• Lambda
• LazyValSource
• RecExprParseError
• StopReason
• TNode
• Type
• UnifyErr
• Val
• domains::prim_lists::ListVal
• domains::simple::SimpleType
• domains::simple::SimpleVal

Traits

• Analysis
• Applier
• Condition
• CostFunction
• Domain
• FromOp
• FromVal
• IterationData
• Language
• LanguageChildren
• RewriteScheduler
• Searcher

Macros

• define_language
• define_semantics
• dsl_entries
• dsl_entries_lookup_gen
• fn_ptr_entries
• load_args
• load_args_lazy
• rewrite
• test_fn

Functions

• assert_eq_val
• assert_error
• assert_execution
• merge_max
• merge_min
• ok

Type Definitions

• DSLFn
• Env
• FlatExplanation
• PatternAst
• TreeExplanation
• UnifyResult
• VError
• VResult

Constants

• SENTINEL