add_relation

Function add_relation 

Source
pub fn add_relation(
    egraph: &mut EGraph,
    name: &str,
    inputs: Vec<String>,
) -> Result<Vec<CommandOutput>, Error>
Expand description

Declare a new relation table.