FV

Deterministic free vars computations

type FV

type InterestingVarFun

Running the computations

fvVarListVarSet

fvVarList

fvVarSet

fvDVarSet

Manipulating those computations

unitFV

emptyFV

mkFVs

unionFV

unionsFV

delFV

delFVs

filterFV

mapUnionFV