Lines Matching refs:univ_tvs
3016 univ_tvs = binderVars univ_tvbs function
3030 univ_tvs ex_tvs user_tvbs
3088 ; let (univ_tvs, ex_tvs, tkvs', user_tvs', eq_preds, arg_subst)
3118 univ_tvs ex_tvs all_user_bndrs eq_preds
3269 = let (univ_tvs, raw_eqs, kind_subst) = mkGADTVars tmpl_tvs dc_tvs subst
3270 raw_ex_tvs = dc_tvs `minusList` univ_tvs
3284 (univ_tvs, substed_ex_tvs, substed_inferred_tvs, substed_specified_tvs,
3765 (univ_tvs, _, eq_spec, _, _, _) = dataConFullSig con1
3767 inst_tys = substTyVars eq_subst univ_tvs
4386 (univ_tvs, ex_tvs, eq_spec, theta, arg_tys, _res_ty)
4388 univ_roles = zipVarEnv univ_tvs (tyConRoles tc)