Searched refs:get_eq_tys_maybe (Results 1 – 1 of 1) sorted by relevance
450 | Just (mk, k1, k2) <- get_eq_tys_maybe (substTy subst ty)463 get_eq_tys_maybe :: Type471 get_eq_tys_maybe ty function