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