Searched refs:egraph_constant_term (Results 1 – 1 of 1) sorted by relevance
1668 static eterm_t egraph_constant_term(egraph_t *egraph, type_t tau, int32_t id) { in egraph_constant_term() function2993 t = egraph_constant_term(egraph, tau, id); in egraph_make_constant()