e-graphs
Data structure used for equality saturation.
Links to this note