pub fn add_function( egraph: &mut EGraph, name: &str, schema: Schema, merge: Option<GenericExpr<String, String>>, ) -> Result<Vec<CommandOutput>, Error>
Declare a new function table.