Function add_ruleset

Source
pub fn add_ruleset(
    egraph: &mut EGraph,
    ruleset: &str,
) -> Result<Vec<CommandOutput>, Error>
Expand description

Create a new ruleset.