egg_sketches

Module util

Source
Expand description

Utility functions for integration tests and examples

Functionsยง

comparing_eclass_extract_sketch
grow_egraph_until