Searched refs:egraph_term_thvar (Results 1 – 2 of 2) sorted by relevance
259 static inline thvar_t egraph_term_thvar(egraph_t *egraph, eterm_t t) { in egraph_term_thvar() function
5011 x = egraph_term_thvar(egraph, t); in restore_eterms()