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