NameSet

Names set type

type NameSet

Manipulating these sets

emptyNameSet

unitNameSet

mkNameSet

unionNameSet

unionNameSets

minusNameSet

elemNameSet

nameSetElems

extendNameSet

extendNameSetList

delFromNameSet

delListFromNameSet

isEmptyNameSet

foldNameSet

filterNameSet

intersectsNameSet

intersectNameSet

nameSetElemsStable

Free variables

type FreeVars

Manipulating sets of free variables

isEmptyFVs

emptyFVs

plusFVs

plusFV

mkFVs

addOneFV

unitFV

delFV

delFVs

Defs and uses

type Defs

type Uses

type DefUse

type DefUses

Manipulating defs and uses

emptyDUs

usesOnly

mkDUs

plusDU

findUses

duDefs

duUses

allUses