Searched refs:pIsZero (Results 1 – 1 of 1) sorted by relevance
515 pIsZero :: Prop -> Maybe Type516 pIsZero ty = case tNoUser ty of function