CoreUnfold
data
Unfolding
data
UnfoldingGuidance
noUnfolding
mkTopUnfolding
mkImplicitUnfolding
mkUnfolding
mkCompulsoryUnfolding
seqUnfolding
evaldUnfolding
mkOtherCon
otherCons
unfoldingTemplate
maybeUnfoldingTemplate
isEvaldUnfolding
isValueUnfolding
isCheapUnfolding
isCompulsoryUnfolding
hasUnfolding
hasSomeUnfolding
neverUnfold
couldBeSmallEnoughToInline
certainlyWillInline
smallEnoughToInline
callSiteInline
data
CallCtxt