Searched refs:type_to_etype (Results 1 – 1 of 1) sorted by relevance
2903 static inline etype_t type_to_etype(type_table_t *types, type_t tau) { in type_to_etype() function2925 tau = type_to_etype(egraph->types, type); in auto_activate()3330 eta = type_to_etype(egraph->types, tau); in egraph_thvar2term()