E

ego

EGraphs in OCaml