Module egglog_util

catlog

Module egglog_util 

Source
Expand description

Utilities for working with e-graphs as implemented in egglog.

Traitsยง

EGraphUtils
Extension trait for [EGraph] with convenience methods.