Searched defs:uo_actual (Results 1 – 2 of 2) sorted by relevance
782 (eq_orig { uo_actual = in_rho function
573 pprCtOrigin (TypeEqOrigin { uo_actual = t1, uo_expected = t2, uo_visible = vis }) function