Searched refs:overlapTyConName (Results 1 – 2 of 2) sorted by relevance
160 overlapTyConName, derivClauseQTyConName, derivStrategyQTyConName,189 tExpTyConName, injAnnTyConName, overlapTyConName :: Name204 overlapTyConName = thTc (fsLit "Overlap") overlapTyConKey function
2304 nothing = coreNothing overlapTyConName2305 just = coreJust overlapTyConName