type OutExpr = CoreExpr Id Id
type OutId = Id
data UnfoldingDetails = NoUnfoldingDetails | LiteralForm BasicLit | OtherLiteralForm [BasicLit] | ConstructorForm Id [UniType] [CoreAtom Id] | OtherConstructorForm [Id] | GeneralForm Bool FormSummary (CoreExpr (Id, BinderInfo) Id) UnfoldingGuidance | MagicForm _PackedString MagicUnfoldingFun | IWantToBeINLINEd UnfoldingGuidance
type OutExpr = CoreExpr Id Id
type OutId = Id
data UnfoldingDetails = NoUnfoldingDetails | LiteralForm BasicLit | OtherLiteralForm [BasicLit] | ConstructorForm Id [UniType] [CoreAtom Id] | OtherConstructorForm [Id] | GeneralForm Bool FormSummary (CoreExpr (Id, BinderInfo) Id) UnfoldingGuidance | MagicForm _PackedString MagicUnfoldingFun | IWantToBeINLINEd UnfoldingGuidance
getWrapperArgTypeCategories :: UniType -> StrictnessInfo -> Labda [Char]
iWantToBeINLINEd :: UnfoldingGuidance -> UnfoldingDetails
indicatesWorker :: [Demand] -> Bool
getWrapperArgTypeCategories :: UniType -> StrictnessInfo -> Labda [Char]
iWantToBeINLINEd :: UnfoldingGuidance -> UnfoldingDetails
indicatesWorker :: [Demand] -> Bool
lookupSpecEnv :: SpecEnv -> [UniType] -> Labda (Id, [UniType], Int)
lookupSpecId :: Id -> [Labda UniType] -> Id
mkArgUsageInfo :: [ArgUsage] -> ArgUsageInfo
lookupSpecEnv :: SpecEnv -> [UniType] -> Labda (Id, [UniType], Int)
lookupSpecId :: Id -> [Labda UniType] -> Id
mkArgUsageInfo :: [ArgUsage] -> ArgUsageInfo