Searched defs:isClosedSynFamilyTyConWithAxiom_maybe (Results 1 – 4 of 4) sorted by relevance
2108 (FamilyTyCon {famTcFlav = ClosedSynFamilyTyCon mb}) = mb2109 isClosedSynFamilyTyConWithAxiom_maybe _ = Nothing function
2154 (FamilyTyCon {famTcFlav = ClosedSynFamilyTyCon mb}) = mb2155 isClosedSynFamilyTyConWithAxiom_maybe _ = Nothing function
2117 (FamilyTyCon {famTcFlav = ClosedSynFamilyTyCon mb}) = mb2118 isClosedSynFamilyTyConWithAxiom_maybe _ = Nothing function