Searched defs:unify_success (Results 1 – 2 of 2) sorted by relevance
6702 unify_success (bool /*explain_p*/) in unify_success() function
6872 unify_success (bool /*explain_p*/) in unify_success() function