Searched defs:isAbsurdBody (Results 1 – 1 of 1) sorted by relevance
757 isAbsurdBody (Abs x (Var 0 [])) = isAbsurdPatternName x function758 isAbsurdBody _ = False function