Searched refs:update_sub (Results 1 – 1 of 1) sorted by relevance
1944 static bool update_sub(Substitution &sub, const TupleKindPtr &general, in update_sub() function1950 return update_sub(sub, general->left(), specific->left()) && in update_sub()1951 update_sub(sub, general->right(), specific->right()); in update_sub()1980 if (!update_sub(specializer, general[i], specific[i])) in specializer()