Skip to content

Extracted out RawEGraph type - #296

Draft
dewert99 wants to merge 9 commits into
egraphs-good:mainfrom
dewert99:raw-egraph
Draft

Extracted out RawEGraph type#296
dewert99 wants to merge 9 commits into
egraphs-good:mainfrom
dewert99:raw-egraph

Make `raw_union` more flexible and add a fallible `try_raw_rebuild`

fb07f3b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs