List of all items

Structs

• ContextualEqSatScaffoldV0
• EggRewriteCandidateV0
• EggRewriteDecisionV0
• EggRewriteExecutionV0
• EggRewriteProofV0
• EggRewriteSourceWitnessV0
• LawvereAnalysis
• LawvereAnalysisDataV0
• MdlExtractionCostV0
• MdlExtractionModeSummaryV0
• TransformEggBoundarySummaryV0
• TransformEggPlanV0

Enums

• MdlExtractionModeV0

Functions

• decide_egg_rewrite
• execute_egg_rewrite
• execute_egg_rewrite_with_lawvere_analysis
• execute_egg_rewrite_witnesses_for_css_source
• plan_egg_rewrite_passes
• plan_egg_rewrite_passes_for_source
• summarize_contextual_eqsat_scaffold_v0
• summarize_mdl_extraction_mode
• summarize_omena_transform_egg_boundary