search

egraphs-good / egglog

egraphs + datalog!
https://egraphs-good.github.io/egglog/
MIT License
458 stars 54 forks source link

`extract_value` documentation #440

Closed Alex-Fischman closed 1 month ago

Alex-Fischman commented 1 month ago

Update the extract_value comment due to Yihong's observation that the set of nodes in the TermDag is not always equal to the set of nodes in the Term.