Searched refs:right2 (Results 1 – 1 of 1) sorted by relevance
27436 comp_subsumption_args (tree left1, tree left2, tree right1, tree right2) in comp_subsumption_args() argument27439 if (CHECK_CONSTR_CONCEPT (left2) == CHECK_CONSTR_CONCEPT (right2)) in comp_subsumption_args()27443 CHECK_CONSTR_ARGS (right2)); in comp_subsumption_args()