Searched defs:tyThingCoAxiom (Results 1 – 4 of 4) sorted by relevance
275 tyThingCoAxiom (ACoAxiom ax) = ax function276 tyThingCoAxiom other = pprPanic "tyThingCoAxiom" (ppr other) function
2327 tyThingCoAxiom (ACoAxiom ax) = ax function2328 tyThingCoAxiom other = pprPanic "tyThingCoAxiom" (ppr other) function
2281 tyThingCoAxiom (ACoAxiom ax) = ax function2282 tyThingCoAxiom other = pprPanic "tyThingCoAxiom" (ppr other) function