SetLevels
setLevels
data
Level
tOP_LEVEL
type
LevelledBind
type
LevelledExpr
incMinorLvl
ltMajLvl
ltLvl
isTopLvl
isInlineCtxt