Searched refs:EvenLone (Results 1 – 4 of 4) sorted by relevance
146 data ProjEliminator = EvenLone | ButLone | NoPostfix constructor175 | pe==EvenLone -> return $ Lam ai $ Abs "r" $ Var 0 [Proj ProjPrefix f]
169 sortOfT =<< elimView EvenLone t
78 v <- elimView EvenLone $ unEl t -- bring projection-like funs in post-fix form136 , elimViewAction = elimView EvenLone
96 vv <- elimView EvenLone v