Searched refs:co_var_tvs (Results 1 – 1 of 1) sorted by relevance
1089 co_var_tvs = closeOverKinds co_vars function1110 mono_tvs1 = mono_tvs0 `unionVarSet` co_var_tvs