Searched refs:update_sub_base (Results 1 – 1 of 1) sorted by relevance
1988 static bool update_sub_base(Substitution &sub, const TupleKindPtr &general, in update_sub_base() function2026 return update_sub_base(sub, general, specific); in update_sub()