Searched refs:pIsEq (Results 1 – 1 of 1) sorted by relevance
545 pIsEq :: Prop -> Maybe Type546 pIsEq ty = case tNoUser ty of function