Searched refs:pIsField (Results 1 – 2 of 2) sorted by relevance
137 do tv <- tIsVar =<< pIsField (goal g)
530 pIsField :: Prop -> Maybe Type531 pIsField ty = case tNoUser ty of function