NameSet
type NameSet
emptyNameSet
unitNameSet
mkNameSet
unionNameSet
unionNameSets
minusNameSet
elemNameSet
nameSetElems
extendNameSet
extendNameSetList
delFromNameSet
delListFromNameSet
isEmptyNameSet
foldNameSet
filterNameSet
intersectsNameSet
intersectNameSet
nameSetElemsStable
type FreeVars
isEmptyFVs
emptyFVs
plusFVs
plusFV
mkFVs
addOneFV
unitFV
delFV
delFVs
type Defs
type Uses
type DefUse
type DefUses
emptyDUs
usesOnly
mkDUs
plusDU
findUses
duDefs
duUses
allUses