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