Searched defs:eq_key (Results 1 – 6 of 6) sorted by relevance
101 bool eq_key(const mcsat_value_t* k1, const mcsat_value_t* k2) { in eq_key() function
254 let eq_key = self.eq_relations().new_key(TypeVariableValue::Unknown { universe }); in new_var() localVariable
2534 eq_key=None, argument2774 eq_key, argument
635 auto eq_key = [&](auto& x) { return key == x.first; }; in equal_range() local
2856 void *eq_key; /* for `procedure-closure-contents-eq?` */ member