Docs.rs
egglog-3.0.0
Platform
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
egglog 3.0.0
egglog is a language that combines the benefits of equality saturation and datalog. It can be used for analysis, optimization, and synthesis of programs. It is the successor to the popular rust library egg.
Crate
Source
Builds
Feature flags
Documentation
..
files__fail-typecheck__arity_mismatch.snap
files__fail-typecheck__conflicting_merge_options.snap
files__fail-typecheck__constructor_non_sort.snap
files__fail-typecheck__looking_up_nonconstructor_in_action_case_let.snap
files__fail-typecheck__looking_up_nonconstructor_in_action_case_set.snap
files__fail-typecheck__looking_up_nonconstructor_in_action_case_union.snap
files__fail-typecheck__looking_up_nonconstructor_in_birewrite.snap
files__fail-typecheck__looking_up_nonconstructor_in_rewrite.snap
files__fail-typecheck__naive_and_unsafe_seminaive.snap
files__fail-typecheck__repro_containers_disallowed.snap
files__fail-typecheck__repro_duplicated_var.snap
files__fail-typecheck__semi_naive_set_function.snap
files__fail-typecheck__set_a_primitive.snap
files__fail-typecheck__set_constructor_simple.snap
files__fail-typecheck__set_constructor_with_args.snap
files__fail-typecheck__set_relation.snap
files__fail-typecheck__shadow_global.snap
files__fail-typecheck__shadow_global_constructor.snap
files__fail-typecheck__shadow_local.snap
files__fail-typecheck__shadow_local_constructor.snap
files__fail-typecheck__shadow_local_global.snap
files__fail-typecheck__shadow_local_global_no_prefix.snap
files__fail-typecheck__unbound.snap
files__fail-typecheck__ungrounded_0.snap
files__fail-typecheck__ungrounded_1.snap
files__fail-typecheck__ungrounded_2.snap
files__fail-typecheck__ungrounded_3.snap
files__fail-typecheck__ungrounded_4.snap
files__fail-typecheck__union_non_sort.snap
files__fail-typecheck__union_relation.snap
files__fail-typecheck__unstable_fn_primitive_missing_partial_arg.snap
files__fail-typecheck__unstable_fn_wrong_args.snap
files__fail-typecheck__unstable_fn_wrong_args_type.snap
files__fail-typecheck__unstable_fn_wrong_return.snap
files__fail-typecheck__unstable_fn_wrong_return_type.snap
files__proof_unsupported_files.snap
files__shared_snapshot_antiunify.snap
files__shared_snapshot_array.snap
files__shared_snapshot_bdd.snap
files__shared_snapshot_before_proofs.snap
files__shared_snapshot_bignum.snap
files__shared_snapshot_bind_prim_result.snap
files__shared_snapshot_birewrite.snap
files__shared_snapshot_bitwise.snap
files__shared_snapshot_bool.snap
files__shared_snapshot_calc.snap
files__shared_snapshot_combinators.snap
files__shared_snapshot_combined_nested.snap
files__shared_snapshot_commute_collapse.snap
files__shared_snapshot_complex_merge_func.snap
files__shared_snapshot_complex_merge_prim.snap
files__shared_snapshot_container_fail.snap
files__shared_snapshot_container_proofs.snap
files__shared_snapshot_container_rebuild.snap
files__shared_snapshot_container_set_collapse.snap
files__shared_snapshot_cyk.snap
files__shared_snapshot_cykjson.snap
files__shared_snapshot_datatypes.snap
files__shared_snapshot_delete.snap
files__shared_snapshot_eggcc_2mm.snap
files__shared_snapshot_eggcc_extraction.snap
files__shared_snapshot_eqsat_basic.snap
files__shared_snapshot_eqsat_basic_multiset.snap
files__shared_snapshot_eqsat_basic_proof.snap
files__shared_snapshot_eqsolve.snap
files__shared_snapshot_f64.snap
files__shared_snapshot_fail_wrong_assertion.snap
files__shared_snapshot_fibonacci.snap
files__shared_snapshot_fibonacci_demand.snap
files__shared_snapshot_filter_or_bool_neq.snap
files__shared_snapshot_fusion.snap
files__shared_snapshot_global_prove_query.snap
files__shared_snapshot_hardboiled_conv1d_128.snap
files__shared_snapshot_hardboiled_conv1d_32.snap
files__shared_snapshot_herbie.snap
files__shared_snapshot_herbie_tutorial.snap
files__shared_snapshot_hidden_print_size.snap
files__shared_snapshot_i64.snap
files__shared_snapshot_include.snap
files__shared_snapshot_integer_math.snap
files__shared_snapshot_internal_let.snap
files__shared_snapshot_intersection.snap
files__shared_snapshot_interval.snap
files__shared_snapshot_knapsack.snap
files__shared_snapshot_lambda.snap
files__shared_snapshot_levenshtein_distance.snap
files__shared_snapshot_list.snap
files__shared_snapshot_llama.snap
files__shared_snapshot_looking_up_global.snap
files__shared_snapshot_looking_up_nonconstructor_in_rewrite_good.snap
files__shared_snapshot_luminal_llama.snap
files__shared_snapshot_map.snap
files__shared_snapshot_math.snap
files__shared_snapshot_math_microbenchmark.snap
files__shared_snapshot_matrix.snap
files__shared_snapshot_merge_during_rebuild.snap
files__shared_snapshot_merge_read.snap
files__shared_snapshot_merge_saturates.snap
files__shared_snapshot_multiset.snap
files__shared_snapshot_naive_action_lookup.snap
files__shared_snapshot_name_resolution.snap
files__shared_snapshot_naturals.snap
files__shared_snapshot_nested_container_dirty_propagation.snap
files__shared_snapshot_paged_llama.snap
files__shared_snapshot_pair.snap
files__shared_snapshot_path.snap
files__shared_snapshot_path_union.snap
files__shared_snapshot_pathproof.snap
files__shared_snapshot_points_to.snap
files__shared_snapshot_primitive_args.snap
files__shared_snapshot_primitives.snap
files__shared_snapshot_prims.snap
files__shared_snapshot_print_function.snap
files__shared_snapshot_proof_extract_cost.snap
files__shared_snapshot_push_pop.snap
files__shared_snapshot_qwen.snap
files__shared_snapshot_qwen3_moe.snap
files__shared_snapshot_rat_pow_eval.snap
files__shared_snapshot_rectangle.snap
files__shared_snapshot_relation_query_allowed.snap
files__shared_snapshot_repro_665_set_union.snap
files__shared_snapshot_repro_738_fn_sort.snap
files__shared_snapshot_repro_define.snap
files__shared_snapshot_repro_desugar_143.snap
files__shared_snapshot_repro_empty_query.snap
files__shared_snapshot_repro_equal_constant.snap
files__shared_snapshot_repro_equal_constant2.snap
files__shared_snapshot_repro_filter_bug.snap
files__shared_snapshot_repro_herbie_vanilla.snap
files__shared_snapshot_repro_new_backend_delete.snap
files__shared_snapshot_repro_new_backend_prims.snap
files__shared_snapshot_repro_new_backend_python_vec.snap
files__shared_snapshot_repro_noteqbug.snap
files__shared_snapshot_repro_primitive_query.snap
files__shared_snapshot_repro_querybug.snap
files__shared_snapshot_repro_querybug2.snap
files__shared_snapshot_repro_querybug3.snap
files__shared_snapshot_repro_querybug4.snap
files__shared_snapshot_repro_should_saturate.snap
files__shared_snapshot_repro_silly_panic.snap
files__shared_snapshot_repro_small_rebuild_fail_term_encoding.snap
files__shared_snapshot_repro_stale_rows.snap
files__shared_snapshot_repro_typecheck_term_encoding.snap
files__shared_snapshot_repro_typechecking_schedule.snap
files__shared_snapshot_repro_unsound.snap
files__shared_snapshot_repro_unsound_htutorial.snap
files__shared_snapshot_repro_vec_unequal.snap
files__shared_snapshot_resolution.snap
files__shared_snapshot_rule_head_fast_path.snap
files__shared_snapshot_rw_analysis.snap
files__shared_snapshot_schedule_demo.snap
files__shared_snapshot_set.snap
files__shared_snapshot_set_sort_function.snap
files__shared_snapshot_shadow_local_before_global.snap
files__shared_snapshot_simple_proof_check.snap
files__shared_snapshot_stratified.snap
files__shared_snapshot_string.snap
files__shared_snapshot_string_quotes.snap
files__shared_snapshot_subsume.snap
files__shared_snapshot_subsume_relation.snap
files__shared_snapshot_term_encoding_subsume_rebuild_bug.snap
files__shared_snapshot_test_combined.snap
files__shared_snapshot_test_combined_steps.snap
files__shared_snapshot_tricky_type_checking.snap
files__shared_snapshot_type_constraints_tests.snap
files__shared_snapshot_typecheck.snap
files__shared_snapshot_typed_primitive_unstable_app.snap
files__shared_snapshot_typeinfer.snap
files__shared_snapshot_uf_extraction.snap
files__shared_snapshot_unification_points_to.snap
files__shared_snapshot_unify.snap
files__shared_snapshot_unsafe_seminaive.snap
files__shared_snapshot_unsafe_seminaive_read_prim.snap
files__shared_snapshot_unstable_fn.snap
files__shared_snapshot_until.snap
files__shared_snapshot_use_at_in_string.snap
files__shared_snapshot_vec.snap
files__shared_snapshot_whisper.snap
test_desugar__desugar_includes.snap