Searched refs:is_arith_etype (Results 1 – 2 of 2) sorted by relevance
427 static inline bool is_arith_etype(etype_t tau) { in is_arith_etype() function
188 return is_arith_etype(egraph_class_type(egraph, c)); in egraph_class_is_arith()