Searched defs:NoUnfolding (Results 1 – 4 of 4) sorted by relevance
1184 = NoUnfolding -- ^ We have no information about the unfolding. constructor1462 hasSomeUnfolding NoUnfolding = False function
1456 = NoUnfolding -- ^ We have no information about the unfolding. constructor1734 hasSomeUnfolding NoUnfolding = False function
1446 = NoUnfolding -- ^ We have no information about the unfolding. constructor1724 hasSomeUnfolding NoUnfolding = False function