Searched refs:hash_select_term (Results 1 – 1 of 1) sorted by relevance
568 static inline uint32_t hash_select_term(term_kind_t tag, uint32_t k, term_t t) { in hash_select_term() function900 return hash_select_term(o->tag, o->k, o->arg); in hash_select_hobj()1653 h = hash_select_term(table->kind[i], s->idx, s->arg); in delete_term()