Docs.rs
egglog-2.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 2.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
Hide files
..
files__antiunify.snap
files__antiunify_desugar.snap
files__combinators.snap
files__combinators_desugar.snap
files__container_rebuild.snap
files__container_rebuild_desugar.snap
files__cyk.snap
files__cyk_desugar.snap
files__eqsolve.snap
files__eqsolve_desugar.snap
files__fibonacci_demand.snap
files__fibonacci_demand_desugar.snap
files__fusion.snap
files__fusion_desugar.snap
files__herbie_tutorial.snap
files__herbie_tutorial_desugar.snap
files__include.snap
files__include_desugar.snap
files__intersection.snap
files__intersection_desugar.snap
files__interval.snap
files__interval_desugar.snap
files__levenshtein_distance.snap
files__levenshtein_distance_desugar.snap
files__map.snap
files__map_desugar.snap
files__math.snap
files__math_desugar.snap
files__math_microbenchmark.snap
files__math_microbenchmark_desugar.snap
files__path.snap
files__path_desugar.snap
files__pathproof.snap
files__pathproof_desugar.snap
files__prims.snap
files__prims_desugar.snap
files__print_function.snap
files__print_function_desugar.snap
files__repro_738_fn_sort.snap
files__repro_738_fn_sort_desugar.snap
files__repro_desugar_143.snap
files__repro_desugar_143_desugar.snap
files__subsume.snap
files__subsume_desugar.snap
files__taylor51.snap
files__taylor51_desugar.snap
files__towers_of_hanoi.snap
files__towers_of_hanoi_desugar.snap
files__tricky_type_checking.snap
files__tricky_type_checking_desugar.snap
files__typecheck.snap
files__typecheck_desugar.snap
files__unification_points_to.snap
files__unification_points_to_desugar.snap
files__unstable_fn.snap
files__unstable_fn_desugar.snap
test_desugar__desugar_includes.snap
1
2
3
4
5
--- source: tests/files.rs expression: snapshot_content --- (Const 1)