Searched defs:isEvaldUnfolding (Results 1 – 8 of 8) sorted by relevance
1422 isEvaldUnfolding (OtherCon _) = True function1423 isEvaldUnfolding (CoreUnfolding { uf_is_value = is_evald }) = is_evald function1424 isEvaldUnfolding _ = False function
1694 isEvaldUnfolding (OtherCon _) = True function1695 isEvaldUnfolding (CoreUnfolding { uf_is_value = is_evald }) = is_evald function1696 isEvaldUnfolding _ = False function
1684 isEvaldUnfolding (OtherCon _) = True function1685 isEvaldUnfolding (CoreUnfolding { uf_is_value = is_evald }) = is_evald function1686 isEvaldUnfolding _ = False function
2431 | isEvaldUnfolding (idUnfolding fun) = 1 function
2469 | isEvaldUnfolding (idUnfolding fun) = 1 function
2460 | isEvaldUnfolding (idUnfolding fun) = 1 function