List of all items
Structs
- ContextualEqSatScaffoldV0
- EggRewriteCandidateV0
- EggRewriteDecisionV0
- EggRewriteExecutionV0
- EggRewriteProofV0
- EggRewriteSourceWitnessV0
- LawvereAnalysis
- LawvereAnalysisCarrierWitnessV0
- LawvereAnalysisDataV0
- LawvereComputedValueCarrierV0
- LawvereProvenanceCarrierV0
- LawvereSpecificityCarrierV0
- LawvereVarStateCarrierV0
- MdlExtractionCostV0
- MdlExtractionModeSummaryV0
- TransformEggBoundarySummaryV0
- TransformEggPlanV0
Enums
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_lawvere_analysis_carrier_witness_v0
- summarize_mdl_extraction_mode
- summarize_omena_transform_egg_boundary