Module egglog_util

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

Structs

CommandRewrite

Simplified egglog AST node for a rewrite.

CommandRule

Simplified egglog AST node for a rule.

Program

An egglog program.