struct LazyMapOfIndexSet:#708

Draft

MilkBlock wants to merge 5 commits into

egraphs-good:mainfrom

MilkBlock:im_main

Commits on Oct 14, 2025

Commits on Oct 23, 2025

rename & clear empty set & swith impl to hashset
MineralSteins
committed