Searched defs:ForAllTy (Results 1 – 6 of 6) sorted by relevance
203 | ForAllTy constructor
214 | ForAllTy constructor
153 | ForAllTy constructor
1569 | ForAllTy {} <- coreFullView ty = True function1621 | ForAllTy (Bndr tv _) inner_ty <- coreFullView ty = Just (tv, inner_ty) function
1829 | ForAllTy {} <- coreFullView ty = True function1881 | ForAllTy (Bndr tv _) inner_ty <- coreFullView ty = Just (tv, inner_ty) function