Documentation

setLevels :: FloatOutSwitches -> [CoreBind] -> UniqSupply -> [LevelledBind]

data Level

tOP_LEVEL :: Level

type LevelledBind = TaggedBind Level

type LevelledExpr = TaggedExpr Level

incMinorLvl :: Level -> Level

ltMajLvl :: Level -> Level -> Bool

ltLvl :: Level -> Level -> Bool

isTopLvl :: Level -> Bool