IdInfo

# The GlobalIdDetails type

data GlobalIdDetails
notGlobalId

# The IdInfo type

data IdInfo
vanillaIdInfo
noCafIdInfo
seqIdInfo
megaSeqIdInfo

## Zapping various forms of Info

zapLamInfo
zapDemandInfo
zapFragileInfo

## The ArityInfo type

type ArityInfo
unknownArity
arityInfo
setArityInfo
ppArityInfo

## Demand and strictness Info

newStrictnessInfo
setNewStrictnessInfo
newDemandInfo
setNewDemandInfo
pprNewStrictness
setAllStrictnessInfo

## The WorkerInfo type

data WorkerInfo
workerExists
wrapperArity
workerId
workerInfo
setWorkerInfo
ppWorkerInfo

## Unfolding Info

unfoldingInfo
setUnfoldingInfo
setUnfoldingInfoLazily

## The InlinePragInfo type

type InlinePragInfo
inlinePragInfo
setInlinePragInfo

## The OccInfo type

data OccInfo
isFragileOcc
isDeadOcc
isLoopBreaker
occInfo
setOccInfo
type InsideLam
type OneBranch
insideLam
notInsideLam
oneBranch
notOneBranch

## The SpecInfo type

data SpecInfo
isEmptySpecInfo
specInfoFreeVars
specInfoRules
seqSpecInfo
setSpecInfoHead
specInfo
setSpecInfo

## The CAFInfo type

data CafInfo
ppCafInfo
mayHaveCafRefs
cafInfo
setCafInfo

## The LBVarInfo type

data LBVarInfo
noLBVarInfo
hasNoLBVarInfo
lbvarInfo
setLBVarInfo

## Tick-box Info

data TickBoxOp
type TickBoxId