egglog - Robuta Search

https://egraphs-good.github.io/egglog/docs/egglog/index.html egglog - Rust egglog rust https://egraphs-good.github.io/egglog/docs/egglog/macro.fact.html fact in egglog - Rust API documentation for the Rust `fact` macro in crate `egglog`. fact egglog rust https://egraphs-good.github.io/egglog/docs/egglog/trait.BaseValue.html BaseValue in egglog - Rust A simple data type that can be interned in a database. egglog rust https://egraphs-good.github.io/egglog/docs/egglog/prelude/fn.run_ruleset.html run_ruleset in egglog::prelude - Rust Run one iteration of a ruleset. run ruleset egglog prelude rust https://egraphs-good.github.io/egglog/docs/egglog/ast/type.Expr.html Expr in egglog::ast - Rust API documentation for the Rust `Expr` type in crate `egglog`. expr egglog ast rust https://egraphs-good.github.io/egglog/docs/egglog/sort/type.S.html S in egglog::sort - Rust API documentation for the Rust `S` type in crate `egglog`. egglog sort rust https://egraphs-good.github.io/egglog/docs/egglog/macro.actions.html actions in egglog - Rust API documentation for the Rust `actions` macro in crate `egglog`. actions egglog rust