e-graphs

Data structure used for equality saturation.

Links to this note