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