Searched refs:teleNoAbs (Results 1 – 2 of 2) sorted by relevance
1300 teleNoAbs :: a -> Term -> Term1303 teleNoAbs tel t = foldr (\ Dom{domInfo = ai, unDom = (x, _)} -> Lam ai . NoAbs x) t tel function1306 teleNoAbs tel = teleNoAbs $ telToList tel function
162 lams u = teleNoAbs wtel (abstract delta2 u)